Private Names in Non-Commutative Logic

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu. Private Names in Non-Commutative Logic. In Josée Desharnais, Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. Volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Ross Horne

This author has not been identified. Look up 'Ross Horne' in Google

Alwen Tiu

This author has not been identified. Look up 'Alwen Tiu' in Google

Bogdan Aman

This author has not been identified. Look up 'Bogdan Aman' in Google

Gabriel Ciobanu

This author has not been identified. It may be one of the following persons: Look up 'Gabriel Ciobanu' in Google