A characterisation of open bisimilarity using an intuitionistic modal logic
From MaRDI portal
(Redirected from Publication:5155663)
Recommendations
Cites work
- A calculus of mobile processes. II
- A characterisation of open bisimilarity using an intuitionistic modal logic
- A theory of bisimulation for the -calculus
- A two-level logic approach to reasoning about computations
- Algebraic laws for nondeterminism and concurrency
- Barbed bisimulation
- Characteristic formulae for processes with divergence
- Computing strong and weak bisimulations for psi-calculi
- Discovering ePassport vulnerabilities using bisimilarity
- scientific article; zbMATH DE number 1863170 (Why is no real title available?)
- Modal logics for mobile processes
- On the proof method for bisimulation
- Open bisimulation, revisited
- Programming with higher-order logic.
- Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Quasi-open bisimilarity with mismatch is intuitionistic
- Results on the propositional \(\mu\)-calculus
- SPEC: an equivalence checker for security protocols
- The Applied Pi Calculus
- Types for Proofs and Programs
Cited in
(6)- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- scientific article; zbMATH DE number 1231603 (Why is no real title available?)
- scientific article; zbMATH DE number 1759616 (Why is no real title available?)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- Logical characterization of branching bisimilarity over random processes
- Modal logics for mobile processes revisited
This page was built for publication: A characterisation of open bisimilarity using an intuitionistic modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155663)
