Pages that link to "Item:Q5462665"
From MaRDI portal
The following pages link to On bisimulations for the spi calculus (Q5462665):
Displayed 6 items.
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- Formalising Observer Theory for Environment-Sensitive Bisimulation (Q3183528) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)