The following pages link to (Q5089269):
Displaying 5 items.
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- (Q4235435) (← links)
- (Q4989406) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)