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

Jean-Loup Baer et al. (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics