Protocol Representation with Finite State Models
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Automated protocol validation: One chain of developmentComputer Networks (1976), 1978
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Verification of protocols using symbolic executionComputer Networks (1976), 1978
- Survey of protocol definition and verification techniquesComputer Networks (1976), 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
- Petri NetsACM Computing Surveys, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- Data Communication Control ProceduresACM Computing Surveys, 1972