Metric semantics from partial order semantics

DOI10.1007/S002360050104zbMath0883.68083OpenAlexW2023739237MaRDI QIDQ1365795

Mila E. Majster-Cederbaum, Christel Baier

Publication date: 9 September 1997

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

Lawson topologymetric spacesScott topologymetric semanticspartial orderssemantics of programming languagescpo semanticspseudo rank orderingsSFP domains

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (5)

The connection between initial and unique solutions of domain equations in the partial order and metric approach ⋮ Uniform Completion versus Ideal Completion of Posets with Projections ⋮ Metric semantics for true concurrent real time ⋮ A category of compositional domain-models for separable Stone spaces. ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

This page was built for publication: Metric semantics from partial order semantics