An improved protocol validation technique
- 31 May 1982
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 6 (2) , 65-73
- https://doi.org/10.1016/0376-5075(82)90029-0
Abstract
No abstract availableKeywords
This publication has 7 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
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- 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