The Two-Phase Commitment Protocol in an Extended pi-Calculus (2003)

by Martin Berger, Kohei Honda
Venue:Electronic Notes in Theoretical Computer Science