TY - RPRT TI - Service Equivalence via Multiparty Session Type Isomorphisms AU - Assel Altayeva AU - Nobuko Yoshida PY - 2019 DO - 10.4204/eptcs.291.1 UR - https://arxiv.org/abs/1904.01283 ID - 1904.01283 ER -