scientific article; zbMATH DE number 7407774
From MaRDI portal
Publication:5155663
Ki Yung Ahn, Alwen Tiu, Ross Horne
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/1701.05324
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing strong and weak bisimulations for psi-calculi
- Modal logics for mobile processes
- Results on the propositional \(\mu\)-calculus
- A calculus of mobile processes. II
- Characteristic formulae for processes with divergence
- A theory of bisimulation for the \(\pi\)-calculus
- A two-level logic approach to reasoning about computations
- Programming with Higher-Order Logic
- Proof search specifications of bisimulation and modal logics for the π-calculus
- Psi-calculi: a framework for mobile processes with nominal data and logic
- The Applied Pi Calculus
- SPEC: An Equivalence Checker for Security Protocols
- On the proof method for bisimulation
- Algebraic laws for nondeterminism and concurrency
- Divergence and unique solution of equations
- Quasi-Open Bisimilarity with Mismatch is Intuitionistic
- Barbed bisimulation
- Types for Proofs and Programs
This page was built for publication:
