@Article{scalas_et_al:DARTS.3.2.3, author = {Scalas, Alceste and Dardha, Ornela and Hu, Raymond and Yoshida, Nobuko}, title = {{A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)}}, pages = {3:1--3:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Scalas, Alceste and Dardha, Ornela and Hu, Raymond and Yoshida, Nobuko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.3}, URN = {urn:nbn:de:0030-drops-72847}, doi = {10.4230/DARTS.3.2.3}, annote = {Keywords: process calculi, session types, concurrent programming, Scala} }