Pages that link to "Item:Q2079681"

The following pages link to Processes against tests: on defining contextual equivalences (Q2079681):

Displaying 2 items.

• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)