@inproceedings{CONCUR16, author = {Ross Horne and Alwen Tiu and Bogdan Aman and Gabriel Ciobanu}, title = {Private Names in Non-Commutative Logic}, booktitle = {27th International Conference on Concurrency Theory (CONCUR 2016)}, editor = {Jos{\'e}e Desharnais and Radha Jagadeesan}, pages = {31:1-31:16}, series = {Leibniz International Proceedings in Informatics}, doi = {10.4230/LIPIcs.CONCUR.2016.31}, year = {2016}, url = {https://drops.dagstuhl.de/opus/volltexte/2016/6175/} }