Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol. The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. In ICSE. pages 363-373, 1981.
@inproceedings{BaerGGR81,
title = {The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology},
author = {Jean-Loup Baer and Georges Gardarin and Claude Girault and Gérard Roucairol},
year = {1981},
tags = {modeling, protocol},
researchr = {https://researchr.org/publication/BaerGGR81},
cites = {0},
citedby = {0},
pages = {363-373},
booktitle = {ICSE},
}