Deadlock Detection for a Class of Communicating Finite State Machines
- 1 December 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 30 (12) , 2514-2518
- https://doi.org/10.1109/tcom.1982.1095450
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- An improved protocol validation techniqueComputer Networks (1976), 1982
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Finite state description of communication protocolsComputer Networks (1976), 1978
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 1978