A timed model for communicating sequential processes
- 1 June 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 58 (1-3), 249-261
- https://doi.org/10.1016/0304-3975(88)90030-8
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- 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