Rules for synthesizing correct communication protocols
- 1 January 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 12 (1) , 35-51
- https://doi.org/10.1145/1040119.1040122
Abstract
An approach to communication protocols synthesis is proposed which permits the development of general (FIFO and non-FIFO channels), N-party (N>=2) protocols with the following properties: completeness, deadlock freeness, livelock or tempo-blocking freeness, termination or cyclic behavior, liveness, boundedness and absence of non-executable interactions.Keywords
This publication has 5 references indexed in Scilit:
- Authentication protocols for computer networks: IComputer Networks and ISDN Systems, 1986
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978
- Interprocess Communication Protocols for Computer NetworksPublished by Defense Technical Information Center (DTIC) ,1975