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 TechnologicalAdd to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source WebsiteFile Size: 565,52 KBShare Document on Facebook |