@inproceedings{BergerM:twophacpepc,
    author = {Martin Berger and Kohei Honda},
    title = {The Two-Phase Commitment Protocol in an Extended pi-Calculus},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {39},
    issue = {1},
    publisher = {Elsevier},
    editor = {Luca Aceto and Björn Victor},
    note = {Proc.~of EXPRESS'00},
    year = {2003}
}