saga transactions process calculi long-running transactions concurrency theory cryptography theory cryptography computer science complexity algorithm
See more