On the progress of communication between two finite state machines
- 31 December 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 63 (3) , 200-216
- https://doi.org/10.1016/s0019-9958(84)80014-5
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Protocol Validation by Maximal Progress State ExplorationIEEE Transactions on Communications, 1984
- Unboundedness detection for a class of communicating finite-state machinesInformation Processing Letters, 1983
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Formal Modeling of Communication ProtocolsInformatik-Fachberichte, 1981
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 1978
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969