C. V. Ramamoorthy, Yuh Yaw, R. Aggarwal, J. Song. Synthesis of two-party error-recoverable protocols. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 227-235, ACM, 1986. [doi]
Abstract is missing.