Executable Representation and Validation of SNA
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Formal Techniques for Protocol Specification and VerificationComputer, 1979
- SNA multiple-system networkingIBM Systems Journal, 1979
- Protocol Validation by Duologue-Matrix AnalysisIEEE Transactions on Communications, 1978
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 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
- Network Services in Systems Network ArchitectureIEEE Transactions on Communications, 1977
- Communication protocols and error recovery proceduresACM SIGOPS Operating Systems Review, 1975
- Line control proceduresProceedings of the IEEE, 1972
- Data communications control procedures for the USA standard code for information interchangeCommunications of the ACM, 1969