The following pages link to Concurrent testing of processes (Q1902297):
Displaying 5 items.
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
