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
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 (7)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- 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
- 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)
