Modeling and analysis of communication and cooperation protocols using petri net based models
- 31 December 1982
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 6 (6) , 419-441
- https://doi.org/10.1016/0376-5075(82)90112-x
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A communication concept for protocol modelsACM SIGCOMM Computer Communication Review, 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
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Protocol Validation by Duologue-Matrix AnalysisIEEE Transactions on Communications, 1978
- Petri NetsACM Computing Surveys, 1977
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976