Denotational semantics in the cpo and metric approach
From MaRDI portal
Publication:1346621
DOI10.1016/0304-3975(94)00046-8zbMath0829.68079OpenAlexW2072757019MaRDI QIDQ1346621
Christel Baier, Mila E. Majster-Cederbaum
Publication date: 6 April 1995
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00046-8
Related Items
Modeling for Verification ⋮ The connection between initial and unique solutions of domain equations in the partial order and metric approach ⋮ Denotational linear time semantics and sequential composition ⋮ Metric completion versus ideal completion ⋮ CPO semantics of timed interactive actor networks ⋮ Metric semantics for true concurrent real time ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Differential logical relations, Part I: The simply-typed case ⋮ A modular formal semantics for Ptolemy ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Cites Work
- A calculus of communicating systems
- Petri nets, event structures and domains. I
- Four domains for concurrency
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
- The connection between an event structure semantics and an operational semantics for TCSP
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
