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

DOI10.1016/S1571-0661(05)82502-2zbMath1260.68258MaRDI QIDQ4917025

Martin Berger, Kohei Honda

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Expired data collection in shared dataspaces., Abstractions for fault-tolerant global computing, A pi-calculus based semantics for WS-BPEL, A model of actors and grey failures, Value-passing CCS with noisy channels, A timed semantics of Orc, A calculus of quality for robustness against unreliable communication, A process algebraic view of shared dataspace coordination, Safety versus Security in the Quality Calculus, \(\pi\)-calculus with noisy channels

Cites Work

• Algebra of communicating processes with abstraction
• A calculus of mobile processes. II
• On reduction-based process semantics
• Inheritance in the join calculus.
• Verifying programs with unreliable channels
• The Byzantine Generals Problem
• Time, clocks, and the ordering of events in a distributed system
• Distributed processes and location failures
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item