Underspecification for a simple process algebra of recursive processes.
From MaRDI portal
Publication:5958781
DOI10.1016/S0304-3975(00)00419-9zbMath1052.68092MaRDI QIDQ5958781
Publication date: 3 March 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Underspecification for a simple process algebra of recursive processes., Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Cites Work
- Unnamed Item
- Unnamed Item
- Towards a foundation for semantics in complete metric spaces
- The connection between an event structure semantics and an operational semantics for TCSP
- On the relationships between Scott domains, synchronization trees, and metric spaces
- A Theory of Communicating Sequential Processes
- Processes and the denotational semantics of concurrency
- Underspecification for a simple process algebra of recursive processes.