Applications of topology to semantics of communicating processes
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 360-372
- https://doi.org/10.1007/3-540-15670-4_17
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Connections between two theories of concurrency: Metric spaces and synchronization treesInformation and Control, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980