The following pages link to (Q5101352):
Displaying 6 items.
- A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- (Q6176116) (← links)
- Process equivalence problems as energy games (Q6535628) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)