A timed model for communicating sequential processes
- 1 January 1986
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 314-323
- https://doi.org/10.1007/3-540-16761-7_81
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Applications of topology to semantics of communicating processesLecture Notes in Computer Science, 1985
- An improved failures model for communicating processesLecture Notes in Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Connections between two theories of concurrency: Metric spaces and synchronization treesInformation and Control, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Communicating sequential processesCommunications of the ACM, 1978