The connection between initial and unique solutions of domain equations in the partial order and metric approach

DOI10.1007/BF01211300zbMath0889.68098OpenAlexW1976194588MaRDI QIDQ1377300

Christel Baier, Mila E. Majster-Cederbaum

Publication date: 4 February 1998

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211300

zbMATH Keywords

partial order semanticsmetric semanticsrecursive domain equations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

The category-theoretic solution of recursive metric-space equations ⋮ A relational realizability model for higher-order stateful ADTs ⋮ Metric completion versus ideal completion ⋮ Denotational semantics for thread algebra ⋮ Realisability semantics of parametric polymorphism, general references and recursive types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of generalized ultrametric domain theory
• Solving reflexive domain equations in a category of complete metric spaces
• Combining data type and recursive process specifications using projection algebras
• Denotational semantics of a parallel object-oriented language
• Designing equivalent semantic models for process creation
• Towards a foundation for semantics in complete metric spaces
• Algebraic and fixed point equations over inverse limits of algebras
• Information categories
• Denotational semantics in the cpo and metric approach
• Metric semantics from partial order semantics
• A domain equation for bisimulation
• The Category-Theoretic Solution of Recursive Domain Equations
• Processes and the denotational semantics of concurrency

This page was built for publication: The connection between initial and unique solutions of domain equations in the partial order and metric approach