Quasi-Open Bisimilarity with Mismatch is Intuitionistic

DOI10.1145/3209108.3209125zbMath1497.68342OpenAlexW2798939849MaRDI QIDQ5145273

Ki Yung Ahn, Ross Horne, Alwen Tiu, Shang-Wei 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

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)

Related Items

Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity ⋮ Game semantics for constructive modal logic ⋮ When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus ⋮ Unnamed Item ⋮ Processes against tests: on defining contextual equivalences ⋮ Unnamed Item