Pages that link to "Item:Q1365795"
From MaRDI portal
The following pages link to Metric semantics from partial order semantics (Q1365795):
Displaying 9 items.
- Metric completion versus ideal completion (Q672047) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Uniform Completion versus Ideal Completion of Posets with Projections (Q4923375) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)