The following pages link to (Q4037383):
Displayed 4 items.
- Using partial orders for the efficient verification of deadlock freedom and safety properties (Q1801499) (← links)
- Iterating transducers (Q1858440) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Progressive events in supervisory control and compositional verification (Q5257781) (← links)