scientific article; zbMATH DE number 1497789
From MaRDI portal
Publication:4499206
zbMath0966.68110MaRDI QIDQ4499206
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
This page was built for publication:
