Publication:4499206
From MaRDI portal
zbMath0966.68110MaRDI QIDQ4499206
Publication date: 5 March 2001
68Q55: Semantics in the theory of computing
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solving reflexive domain equations in a category of complete metric spaces
- Contractions in comparing concurrency semantics
- Metric semantics for concurrency
- A calculus of communicating systems
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
- Fully abstract models of typed \(\lambda\)-calculi
- Fully abstract denotational models for nonuniform concurrent languages
- Truly concurrent constraint programming
- A Theory of Communicating Sequential Processes
- Readies and Failures in the Algebra of Communicating Processes
- Processes and the denotational semantics of concurrency
- Proving algorithms by tail functions