The Two-Phase Commitment Protocol in an Extended π-Calculus
Open Access
- 28 February 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 39 (1) , 21-46
- https://doi.org/10.1016/s1571-0661(05)82502-2
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Typed concurrent objectsPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- A hierarchy of equivalences for asynchronous calculiPublished by Springer Nature ,1998
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Timed Process Algebras: A TutorialPublished by Springer Nature ,1993
- A small calculus for concurrent objectsACM SIGPLAN OOPS Messenger, 1991
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Notes on data base operating systemsPublished by Springer Nature ,1978