Formal techniques for the specification, verification and construction of communication protocols
- 1 October 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Communications Magazine
- Vol. 23 (10) , 46-52
- https://doi.org/10.1109/mcom.1985.1092439
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- An HDLC protocol specification and its verification using image protocolsACM Transactions on Computer Systems, 1983
- Network protocolPublished by Association for Computing Machinery (ACM) ,1983
- A decomposition method for the analysis and design of finite state protocolsPublished by Association for Computing Machinery (ACM) ,1983
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- A General Transition Model for Protocols and Communication ServicesIEEE Transactions on Communications, 1980
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980
- Finite state description of communication protocolsComputer Networks (1976), 1978
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978