Quasi-open bisimilarity with mismatch is intuitionistic

DOI10.1145/3209108.3209125zbMATH Open1497.68342OpenAlexW2798939849MaRDI QIDQ5145273FDOQ5145273

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

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

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

zbMATH Keywords

mismatchintuitionistic modal logicbisimilarity

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)

Cited In (9)

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• On quasi-open bisimulation
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
• Open bisimulation, revisited
• Processes, systems \& tests: defining contextual equivalences
• Game semantics for constructive modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Processes against tests: on defining contextual equivalences

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)