Pages that link to "Item:Q2079681"
From MaRDI portal
The following pages link to Processes against tests: on defining contextual equivalences (Q2079681):
Displaying 4 items.
- Experimenting with process equivalence (Q1194327) (← links)
- (Q3681914) (← links)
- 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)