Pages that link to "Item:Q2996142"

The following pages link to On Bisimulations for the Spi Calculus* (Q2996142):

Displaying 5 items.

• Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
• Automated verification of selected equivalences for security protocols (Q2474047) (← links)
• (Q2842870) (← links)
• On bisimulations for the spi calculus (Q5462665) (← links)
• A bisimulation for dynamic sealing (Q5899331) (← links)