The following pages link to (Q3902494):
Displaying 5 items.
- Automata and concurrency (Q794437) (← links)
- A complete inference system for a class of regular behaviours (Q1057072) (← links)
- Coloured Petri nets and the invariant-method (Q1159464) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Modular implementation of concurrency (Q1838041) (← links)
