Pages that link to "Item:Q5756606"
From MaRDI portal
The following pages link to Liveness, Fairness and Impossible Futures (Q5756606):
Displayed 4 items.
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures (Q3599070) (← links)