Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James; Tiu, Alwen
2017In 28th International Conference on Concurrency Theory (CONCUR 2017).
Peer reviewed
 

Files


Full Text
main.pdf
Publisher postprint (323.38 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
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
External co-authors :
yes
Language :
English
Title :
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Publication date :
2017
Event name :
28th International Conference on Concurrency Theory (CONCUR 2017).
Event date :
September 5-8, 2017
Main work title :
28th International Conference on Concurrency Theory (CONCUR 2017).
Collection name :
Leibniz International Proceedings in Informatics
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Commentary :
7:1-7:17 85
Available on ORBilu :
since 23 November 2018

Statistics


Number of views
50 (0 by Unilu)
Number of downloads
87 (2 by Unilu)

Scopus citations®
 
10
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu