A Discipline for Constructing Multiphase Communication Protocols

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam. A Discipline for Constructing Multiphase Communication Protocols. ACM Trans. Comput. Syst., 3(4):315-343, 1985. [doi]

Bibliographies