@Inproceedings{EPTCS279.4, author = {Barbanera, Franco and de'Liguoro, Ugo and Hennicker, Rolf}, year = {2018}, title = {Global Types for Open Systems}, editor = {Bartoletti, Massimo and Knight, Sophia}, booktitle = {{\rm Proceedings 11th} Interaction and Concurrency Experience, {\rm Madrid, Spain, June 20-21, 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {279}, publisher = {Open Publishing Association}, pages = {4-20}, doi = {10.4204/EPTCS.279.4}, }