Reference : A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/37430
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
English
Ahn, Ki Yung [> >]
Horne, Ross James mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Tiu, Alwen [> >]
2017
28th International Conference on Concurrency Theory (CONCUR 2017).
Leibniz International Proceedings in Informatics
Yes
28th International Conference on Concurrency Theory (CONCUR 2017).
September 5-8, 2017
http://hdl.handle.net/10993/37430
10.4230/LIPIcs.CONCUR.2017.7
7:1-7:17
85

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
main.pdfPublisher postprint315.8 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.