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 - Intuitionistic logic - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2017-09-01 10:27:18 Open Document File Size: 565,52 KB Share Result on Facebook

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 List