Trees and semantics
- 1 June 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 179 (1-2) , 217-250
- https://doi.org/10.1016/s0304-3975(96)00107-7
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Synchronisation treesPublished by Springer Nature ,2006
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- A domain equation for bisimulationInformation and Computation, 1991
- Towards a foundation for semantics in complete metric spacesInformation and Computation, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- On the relationships between Scott domains, synchronization trees, and metric spacesInformation and Control, 1985
- Synchronization treesTheoretical Computer Science, 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