Connections between two theories of concurrency: Metric spaces and synchronization trees
Open Access
- 5 May 1983
- journal article
- Published by Elsevier in Information and Control
- Vol. 57 (2-3) , 102-124
- https://doi.org/10.1016/s0019-9958(83)80039-4
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Metric interpretations of infinite trees and semantics of non deterministic recursive programsTheoretical Computer Science, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980