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

Jean-Loup Baer, Georges Gardarin, Claude Girault, Grard Roucairol

Browse the full ICSE paper archive.