Pages that link to "Item:Q1376423"
From MaRDI portal
The following pages link to Quiescence, fairness, testing, and the notion of implementation (Q1376423):
Displaying 7 items.
- An algebraic theory of interface automata (Q402131) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- Quiescence, fairness, testing, and the notion of implementation (Q1376423) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
