Synthesis of two-party error-recoverable protocols

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]

@inproceedings{RamamoorthyYAS86,
  title = {Synthesis of two-party error-recoverable protocols},
  author = {C. V. Ramamoorthy and Yuh Yaw and R. Aggarwal and J. Song},
  year = {1986},
  doi = {10.1145/18172.18198},
  url = {http://doi.acm.org/10.1145/18172.18198},
  tags = {protocol, C++},
  researchr = {https://researchr.org/publication/RamamoorthyYAS86},
  cites = {0},
  citedby = {0},
  pages = {227-235},
  booktitle = {Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States    August 5-7, 1986},
  publisher = {ACM},
  isbn = {0-89791-201-2},
}