Pages that link to "Item:Q4632440"
From MaRDI portal
The following pages link to Equivalences for fair Kripke structures (Q4632440):
Displayed 5 items.
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Fair simulation (Q1854506) (← links)
- Applicability of fair simulation (Q1886036) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)
- Fair simulation (Q6044123) (← links)