The Two-Phase Commitment Protocol in an Extended π-Calculus (2000)

by Martin Berger , Kohei Honda
Venue:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 39 NO. 1
Citations:30 - 0 self