Quasi-open bisimilarity with mismatch is intuitionistic

DOI10.1145/3209108.3209125MaRDI QIDQ5145273zbMATH OpenOpenAlexFDO

Authors Ross Horne, K. Y. Ahn, Alwen Tiu, Shangwei Lin

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/37429

zbMATH Keywords

bisimilarityintuitionistic modal logicmismatch

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• On quasi-open bisimulation
• Bisimilarity of open terms.
• A characterisation of open bisimilarity using an intuitionistic modal logic
• Open bisimulation, revisited
• Open bisimulation, revisited

Cited in

(13)

• Processes against tests: on defining contextual equivalences
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Game semantics for constructive modal logic
• Open bisimulation, revisited
• Discovering ePassport vulnerabilities using bisimilarity
• A characterisation of open bisimilarity using an intuitionistic modal logic
• A characterisation of open bisimilarity using an intuitionistic modal logic
• On quasi-open bisimulation
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
• Processes, systems \& tests: defining contextual equivalences
• Logical characterization of branching bisimilarity over random processes
• Modal logics for mobile processes revisited
• Open bisimilarity for the -calculus with mismatch

This page was built for publication: Quasi-open bisimilarity with mismatch is intuitionistic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145273)