Affordable Access

Publisher Website

The Two-Phase Commitment Protocol in an Extended π-Calculus

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
39
Issue
1
Identifiers
DOI: 10.1016/s1571-0661(05)82502-2
Disciplines
  • Computer Science

Abstract

Abstract We examine extensions to the π-calculus for representing basic elements of distributed systems. In spite of its expressiveness for encoding various programming constructs, some of the phenomena inherent in distributed systems are hard to model in the π-calculus. We consider message loss, sites, timers, site failure and persistence as extensions to the calculus and examine their descriptive power, taking the Two Phase Commit Protocol (2PCP), a basic instance of an atomic commitment protocol, as a testbed. Our extensions enable us to represent the 2PCP under various failure assumptions, as well as to reason about the essential properties of the protocol.

There are no comments yet on this publication. Be the first to share your thoughts.