Pages that link to "Item:Q2013557"

The following pages link to A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557):

Displaying 2 items.

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)