Deriving protocol specifications from service specifications
- 1 August 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 16 (3) , 148-156
- https://doi.org/10.1145/1013812.18190
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Synthesis of Communicating Finite-State Machines with Guaranteed ProgressIEEE Transactions on Communications, 1984
- A methodology for protocol design and specification based on an extended state transition modelACM SIGCOMM Computer Communication Review, 1984
- On the Construction of Submodule Specifications and Communication ProtocolsACM Transactions on Programming Languages and Systems, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Semantic evaluation from left to rightCommunications of the ACM, 1976