A characterisation of open bisimilarity using an intuitionistic modal logic
From MaRDI portal
Publication:5111619
Recommendations
Cites work
- scientific article; zbMATH DE number 92600 (Why is no real title available?)
- 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
- Abella: a system for reasoning about relational specifications
- Algebraic laws for nondeterminism and concurrency
- Modal logic and the approximation induction principle
- Modal logics for mobile processes
- Modal logics for nominal transition systems
- Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
- Results on the propositional \(\mu\)-calculus
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
- scientific article; zbMATH DE number 1231603 (Why is no real title available?)
- scientific article; zbMATH DE number 7379295 (Why is no real title available?)
- scientific article; zbMATH DE number 7407774 (Why is no real title available?)
- scientific article; zbMATH DE number 1759616 (Why is no real title available?)
- Quasi-open bisimilarity with mismatch is intuitionistic
- Constructing weak simulations from linear implications for processes with private names
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)
