TY  - RPRT
TI  - Globally Governed Session Semantics
AU  - Dimitrios Kouzapas
AU  - Nobuko Yoshida
PY  - 2015
DO  - 10.2168/lmcs-10(4:20)2014
UR  - https://arxiv.org/abs/1412.5943
ID  - 1412.5943
ER  -