A formal specification technique and implementation method for protocols
- 31 July 1982
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 6 (3) , 201-217
- https://doi.org/10.1016/0376-5075(82)90098-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Formal Modeling of Communication ProtocolsInformatik-Fachberichte, 1981
- Formal Methods in Communication Protocol DesignIEEE 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
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979