The following pages link to (Q5155676):
Displaying 8 items.
- Bisimulation as a logical relation (Q5058364) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5101352) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)
- A new approach for active automata learning based on apartness (Q6535565) (← links)
- Process equivalence problems as energy games (Q6535628) (← links)
- Proving behavioural apartness (Q6666778) (← links)