An Elementary Derivation of the Alternating Bit Protocol

• Authors:

• W. H. J. Feijen;A. J. M. van Gasteren;Birgit Schieder

• Affiliations:

• -;-;-

• Venue:
• MPC '98 Proceedings of the Mathematics of Program Construction
• Year:
• 1998