Computing strong and weak bisimulations for psi-calculi
From MaRDI portal
Publication:444457
DOI10.1016/j.jlap.2012.01.001zbMath1277.68192OpenAlexW2001997240MaRDI QIDQ444457
Magnus Johansson, Joachim Parrow, Björn Victor
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2012.01.001
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity, When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus, Equivalence checking 40 years after: a review of bisimulation tools, Broadcast Psi-calculi with an Application to Wireless Protocols, A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract), Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Symbolic bisimulations
- A new approach to abstract syntax with variable binding
- A calculus for cryptographic protocols: The spi calculus
- Proof systems for message-passing process algebras
- Nominal logic, a first order theory of names and binding
- A theory of bisimulation for the \(\pi\)-calculus
- A symbolic semantics for the \(\pi\)-calculus
- Computing bisimulations for finite-control \(\pi\)-calculus
- Automated verification of selected equivalences for security protocols
- On Bisimulations for the Spi Calculus*
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Proof System for Applied Pi Calculus
- A Complete Symbolic Bisimulation for Full Applied Pi Calculus
- Analyzing security protocols with secrecy types and logic programs
- Mobile values, new names, and secure communication
- CONCUR 2004 - Concurrency Theory
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Symbolic Bisimulation for the Applied Pi Calculus
- Psi-calculi in Isabelle
- Symbolic transition graph with assignment
