The following pages link to Open bisimulation, revisited (Q2465030):
Displaying 9 items.
- On quasi-open bisimulation (Q557789) (← links)
- A schematic axiom for open congruence (Q866141) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- A theory of bisimulation for the \(\pi\)-calculus (Q1901699) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Open bisimulation, revisited (Q2852066) (← links)
- Open Maps Bisimulations for Higher Dimensional Automata Models (Q3183618) (← links)
- (Q5009710) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)