Underspecification for a simple process algebra of recursive processes
- 6 September 2001
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 266 (1-2), 935-950
- https://doi.org/10.1016/s0304-3975(00)00419-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Possible worlds process algebrasPublished by Springer Science and Business Media LLC ,1998
- The connection between an event structure semantics and an operational semantics forTCSPActa Informatica, 1994
- Towards a foundation for semantics in complete metric spacesInformation and Computation, 1991
- The linear time - branching time spectrumLecture Notes in Computer Science, 1990
- On the relationships between Scott domains, synchronization trees, and metric spacesInformation and Control, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982