Title : A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Language : English
Author, co-author : Ahn, Ki Yung [> >]
Horne, Ross James [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Tiu, Alwen [> >]
Publication date : 2017
Main document title : 28th International Conference on Concurrency Theory (CONCUR 2017).
Collection and collection volume : Leibniz International Proceedings in Informatics
Peer reviewed : Yes
Event name : 28th International Conference on Concurrency Theory (CONCUR 2017).
Event date : September 5-8, 2017
Permalink : http://hdl.handle.net/10993/37430
DOI : 10.4230/LIPIcs.CONCUR.2017.7
Commentary : 7:1-7:17
85