Pages that link to "Item:Q3401115"
From MaRDI portal
The following pages link to A Complete Symbolic Bisimulation for Full Applied Pi Calculus (Q3401115):
Displayed 5 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)