The following pages link to (Q4790410):
Displaying 5 items.
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- (Q5013870) (← links)
- Automata, Languages and Programming (Q5716866) (← links)