Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP, 2017.
@inproceedings{ECOOP-2017-ScalasDHY,
author = "Alceste Scalas and Ornela Dardha and Raymond Hu and Nobuko Yoshida",
booktitle = "{Proceedings of the 31st European Conference on Object-Oriented Programming}",
doi = "10.4230/LIPIcs.ECOOP.2017.24",
isbn = "978-3-95977-035-4",
pages = "31",
publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
title = "{A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming}",
year = 2017,
}