Protocol validation by fair progress state exploration
- 31 May 1985
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 9 (5) , 353-361
- https://doi.org/10.1016/0169-7552(85)90086-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Unboundedness detection for a class of communicating finite-state machinesInformation Processing Letters, 1983
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Formal Techniques for Protocol Specification and VerificationComputer, 1979