@misc{indiciae9c6ab3eb3ff1,
  title = {Global Types for Open Systems},
  author = {Franco Barbanera and Ugo de'Liguoro and Rolf Hennicker},
  year = {2018},
  doi = {10.4204/eptcs.279.4},
  url = {https://arxiv.org/abs/1810.02468},
  note = {Source identifier: 1810.02468}
}