Pages that link to "Item:Q1195491"
From MaRDI portal
The following pages link to Weakest precondition semantics for time and concurrency (Q1195491):
Displaying 6 items.
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Weakest precondition semantics for time and concurrency (Q1195491) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Transformational vs reactive refinement in real-time systems (Q1350363) (← links)
- Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
- A theory of Orwellian specifications with NewThink (Q1906042) (← links)