The following pages link to (Q4553282):
Displaying 4 items.
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- From bisimulation to simulation: Coarsest partition problems (Q1431342) (← links)
- Constrained simulations, nested simulation semantics and counting bisimulations (Q2871848) (← links)
- Bisimulation Finiteness of Pushdown Systems Is Elementary (Q5145660) (← links)