Protocol analysis and synthesis by structured partitions
- 31 May 1986
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 11 (5) , 367-381
- https://doi.org/10.1016/0169-7552(86)90042-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Closed Covers: To Verify Progress for Communicating Finite State MachinesIEEE Transactions on Software Engineering, 1984
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Using Automated Validation Techniques to Detect Lockups in Packet-Switched NetworksIEEE Transactions on Communications, 1982
- A Validation Technique for Tightly Coupled ProtocolsIEEE Transactions on Computers, 1982
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978
- Automated Validation of a Communications Protocol: the CCITT X.21 RecommendationIBM Journal of Research and Development, 1978