TY  - RPRT
TI  - Precise subtyping for synchronous multiparty sessions
AU  - Mariangiola Dezani-Ciancaglini
AU  - Silvia Ghilezan
AU  - Svetlana Jakšić
AU  - Jovanka Pantović
AU  - Nobuko Yoshida
PY  - 2016
DO  - 10.4204/eptcs.203.3
UR  - https://arxiv.org/abs/1602.03593
ID  - 1602.03593
ER  -