The following pages link to (Q3725532):
Displaying 6 items.
- Refusal testing (Q580961) (← links)
- Observation equivalence as a testing equivalence (Q580965) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- Bisimulation through probabilistic testing (Q1175940) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- A hierarchy of domains for real-time distributed computing (Q5887512) (← links)
