A characterisation of open bisimilarity using an intuitionistic modal logic

• Main Authors: Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2018
• Subjects: Bisimulation; Modal Logic
• Online Access: https://hdl.handle.net/10356/89457; http://hdl.handle.net/10220/44959
• Institution: Nanyang Technological University

Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, free names in processes are treated as variables that may be instantiated; in contrast to late bisimilarity where free names are constants. An established modal logic due to Milner, Parrow, and Walker ch...