A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

First Page		Document Content
Date: 2017-09-01 10:27:18		A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 565,52 KB Share Document on Facebook