Pages that link to "Item:Q2943770"
From MaRDI portal
The following pages link to A lattice-theoretic characterization of safety and liveness (Q2943770):
Displaying 12 items.
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- Safety and liveness from a methodological point of view (Q916351) (← links)
- Defining liveness (Q1064056) (← links)
- Recognizing safety and liveness (Q1100884) (← links)
- Sooner is safer than later (Q1199553) (← links)
- Safety, liveness and fairness in temporal logic (Q1343862) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Liveness checking as safety checking for infinite state spaces (Q2852018) (← links)
- The Coarsest Precongruences Respecting Safety and Liveness Properties (Q3163871) (← links)
- (Q4037387) (← links)
- (Q4037394) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)