Report copyright - yoshida/paper/msa_in_ca.pdf · Multiparty Session Types as Communicating Automata: Characterisation and Synthesis Pierre-Malo Deni´elou Nobuko Yoshida Imperial College London fmalo,[email protected]
Please pass captcha verification before submit form