Metric semantics from partial order semantics
DOI10.1007/S002360050104zbMATH Open0883.68083OpenAlexW2023739237MaRDI QIDQ1365795FDOQ1365795
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
Recommendations
metric spacespartial ordersScott topologyLawson topologysemantics of programming languagesmetric semanticscpo semanticspseudo rank orderingsSFP domains
Theory of programming languages (68N15) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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)
