scientific article

zbMath1270.68216MaRDI QIDQ2842870

Hans Hüttel

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805309

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Unnamed Item ⋮ Implementing Spi Calculus Using Nominal Techniques ⋮ Challenges in the Automated Verification of Security Protocols ⋮ Open bisimulation, revisited ⋮ A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ Automating Security Analysis: Symbolic Equivalence of Constraint Systems ⋮ Automated Verification of Equivalence Properties of Cryptographic Protocols

Cites Work

• A calculus of mobile processes. II
• A calculus for cryptographic protocols: The spi calculus
• Basic observables for processes
• On the decidability of process equivalences for the \(\pi\)-calculus
• A complexity analysis of bisimilarity for value-passing processes
• A theory of bisimulation for the \(\pi\)-calculus
• On Bisimulations for the Spi Calculus*
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item