The following pages link to Concurrent testing of processes (Q1902297):
Displaying 11 items.
- Refusal testing (Q580961) (← links)
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- An invitation to friendly testing (Q1273070) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Timed testing of concurrent systems (Q1899907) (← links)
- On CSP refinement tests that run multiple copies of a process (Q2810978) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- Automated Technology for Verification and Analysis (Q5394182) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)