Compositional semantics for real-time distributed computing
- 1 December 1988
- journal article
- Published by Elsevier in Information and Computation
- Vol. 79 (3) , 210-256
- https://doi.org/10.1016/0890-5401(88)90020-x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A more complete model of communicating processesTheoretical Computer Science, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- Communicating sequential processesCommunications of the ACM, 1978