A characterisation of open bisimilarity using an intuitionistic modal logic
From MaRDI portal
Publication:5111619
DOI10.4230/LIPICS.CONCUR.2017.7zbMATH Open1442.68121OpenAlexW2918561041MaRDI QIDQ5111619FDOQ5111619
Alwen Tiu, K. Y. Ahn, Ross Horne
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 π-calculus
- Title not available (Why is that?)
- Modal logic and the approximation induction principle
- Divergence and unique solution of equations
Cited In (10)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Divergence and unique solution of equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
