The following pages link to (Q4503956):
Displaying 4 items.
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Deciding framed bisimilarity (Q2842870) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS (Q5484904) (← links)