On the relationships between Scott domains, synchronization trees, and metric spaces
Open Access
- 31 August 1985
- journal article
- Published by Elsevier in Information and Control
- Vol. 66 (1-2) , 6-28
- https://doi.org/10.1016/s0019-9958(85)80009-7
Abstract
No abstract availableKeywords
This 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
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982