The following pages link to (Q3681914):
Displaying 7 items.
- Modal logics for communicating systems (Q578896) (← links)
- Minimizing the number of transitions with respect to observation equivalence (Q1182610) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- (Q4329263) (← links)
- (Q5028460) (← links)
- Programming Languages and Systems (Q5316582) (← links)
- Computational and Information Science (Q5491617) (← links)