A characterisation of open bisimilarity using an intuitionistic modal logic
From MaRDI portal
Publication:5111619
DOI10.4230/LIPICS.CONCUR.2017.7zbMATH Open1442.68121OpenAlexW2918561041MaRDI QIDQ5111619FDOQ5111619
Authors: K. Y. Ahn, Ross Horne, Alwen Tiu 
Publication date: 27 May 2020
Full work available at URL: https://hal.science/hal-01643502
Recommendations
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Abella: a system for reasoning about relational specifications
- Algebraic laws for nondeterminism and concurrency
- Modal logics for mobile processes
- A calculus of mobile processes. II
- Results on the propositional \(\mu\)-calculus
- A two-level logic approach to reasoning about computations
- Title not available (Why is that?)
- A theory of bisimulation for the \(\pi\)-calculus
- Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
- Modal logics for nominal transition systems
- Modal logic and the approximation induction principle
- A characterisation of open bisimilarity using an intuitionistic modal logic
Cited In (11)
- A characterisation of open bisimilarity using an intuitionistic modal logic
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- Mechanized metatheory revisited
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- Modal logics for nominal transition systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quasi-open bisimilarity with mismatch is intuitionistic
- Constructing weak simulations from linear implications for processes with private names
Uses Software
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 Q5111619)
