The following pages link to On quasi-open bisimulation (Q557789):
Displaying 11 items.
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Open bisimulation, revisited (Q2852066) (← links)
- Open Maps Bisimulations for Higher Dimensional Automata Models (Q3183618) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)