Synthesis of two-party error-recoverable protocols
- 1 August 1986
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 227-235
- https://doi.org/10.1145/18172.18198
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 ProtocolIEEE Transactions on Software Engineering, 1985
- Rules for synthesizing correct communication protocolsACM SIGCOMM Computer Communication Review, 1982