Denotational semantics in the cpo and metric approach

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

zbMATH Keywords

metric approachcpopomset classes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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