Title : Private Names in Non-Commutative Logic
Language : English
Author, co-author : Horne, Ross James [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Tiu, Alwen [> >]
Aman, Bogdan [> >]
Ciobanu, Gabriel [> >]
Publication date : 2016
Main document title : 27th International Conference on Concurrency Theory (CONCUR 2016)
Collection and collection volume : Leibniz International Proceedings in Informatics
Peer reviewed : Yes
Event name : 27th International Conference on Concurrency Theory (CONCUR 2016)
Event date : 23-26 August 2016
Permalink : http://hdl.handle.net/10993/37431
DOI : 10.4230/LIPIcs.CONCUR.2016.31
Commentary : 31:1-31:16