The following pages link to (Q4989406):
Displaying 6 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- (Q3761679) (← links)
- (Q5009710) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)