Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:journals/corr/abs-1810-02468
AU - Barbanera, Franco
AU - de'Liguoro, Ugo
AU - Hennicker, Rolf
TI - Global Types for Open Systems.
BT - Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018.
SP - 4
EP - 20
PY - 2018//
DO - 10.4204/EPTCS.279.4
UR - https://doi.org/10.4204/EPTCS.279.4
UR - http://arxiv.org/abs/1810.02468
ER -