Pages that link to "Item:Q3163871"
From MaRDI portal
The following pages link to The Coarsest Precongruences Respecting Safety and Liveness Properties (Q3163871):
Displaying 10 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Safety property-driven stubborn sets (Q1708658) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- All congruences below stability-preserving fair testing or CFFD (Q2182664) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Spanning the Spectrum from Safety to Liveness (Q3460555) (← links)
- (Q4989406) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)