The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology

@inproceedings{Baer-al:ICSE81,
  author    = {Jean{-}Loup Baer and
               Georges Gardarin and
               Claude Girault and
               G{\'{e}}rard Roucairol},
  title     = {The {Two-Step} Commitment Protocol: Modeling, Specification and Proof Methodology},
  booktitle = {ICSE},
  pages     = {363--373},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}