Submodule construction as equation solving in CCS
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 103-123
- https://doi.org/10.1007/3-540-18625-5_46
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The synthesis of communication protocolsPublished by Association for Computing Machinery (ACM) ,1986
- Synthesis of Communicating Finite-State Machines with Guaranteed ProgressIEEE Transactions on Communications, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- On the Construction of Submodule Specifications and Communication ProtocolsACM Transactions on Programming Languages and Systems, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969