On Communicating Finite-State Machines
- 1 April 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 30 (2) , 323-342
- https://doi.org/10.1145/322374.322380
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979
- Verification of protocols using symbolic executionComputer Networks (1976), 1978
- Protocol Validation by Duologue-Matrix AnalysisIEEE Transactions on Communications, 1978
- Petri NetsACM Computing Surveys, 1977
- Communication protocols and error recovery proceduresACM SIGOPS Operating Systems Review, 1975
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969