TY  - RPRT
TI  - Parameterised Multiparty Session Types
AU  - Pierre-Malo Denielou
AU  - Nobuko Yoshida
AU  - Andi Bejleri
AU  - Raymond Hu
PY  - 2012
DO  - 10.2168/lmcs-8(4:6)2012
UR  - https://arxiv.org/abs/1208.6483
ID  - 1208.6483
ER  -