Metric semantics from partial order semantics

DOI10.1007/S002360050104MaRDI QIDQ1365795zbMATH OpenOpenAlexFDO

Authors Christel Baier, Mila Majster-Cederbaum

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

metric spacespartial ordersScott topologyLawson topologysemantics of programming languagesmetric semanticscpo semanticspseudo rank orderingsSFP domains

Mathematics Subject Classification ID

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

Recommendations

• Metric completion versus ideal completion
• scientific article; zbMATH DE number 3883639
• scientific article; zbMATH DE number 3924762
• Denotational semantics in the cpo and metric approach
• Towards a foundation for semantics in complete metric spaces

Cited in

(13)

• Metric semantics for true concurrent real time
• A category of compositional domain-models for separable Stone spaces.
• Temporal structures
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• The connection between initial and unique solutions of domain equations in the partial order and metric approach
• On the relationships between Scott domains, synchronization trees, and metric spaces
• scientific article; zbMATH DE number 3883639 (Why is no real title available?)
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Uniform completion versus ideal completion of posets with projections
• Metric reasoning about λ-terms: The affine case
• scientific article; zbMATH DE number 3924762 (Why is no real title available?)
• Metric completion versus ideal completion

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1365795)