Pages that link to "Item:Q1346621"
From MaRDI portal
The following pages link to Denotational semantics in the cpo and metric approach (Q1346621):
Displaying 12 items.
- Denotational linear time semantics and sequential composition (Q671406) (← links)
- Metric completion versus ideal completion (Q672047) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Modeling for Verification (Q3176361) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← 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)
- Logical foundations of quantitative equality (Q6649445) (← links)
