Pages that link to "Item:Q2996142"
From MaRDI portal
The following pages link to On Bisimulations for the Spi Calculus* (Q2996142):
Displaying 8 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- Deciding framed bisimilarity (Q2842870) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS (Q5484904) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)