The Two-Phase Commitment Protocol in an Extended π-Calculus
Authors:
Open Access
- 1 February 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 39 (1) , 21-46
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A hierarchy of equivalences for asynchronous calculi1998
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Timed Process Algebras: A Tutorial1993
- A calculus of mobile processes, IInformation and Computation, 1992
- A small calculus for concurrent objectsACM SIGPLAN OOPS Messenger, 1991
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Notes on data base operating systems1978