Dr Weizhen Yang
Alumni
PublicationsWeizhen has completed her PhD under supervison of Professor Nobuko Yoshida in Jan 2017.
Publications
2014
-
: Timed Multiparty Session Types. CONCUR 2014 .
π-calculus, Session Types research at the University of Oxford
Weizhen has completed her PhD under supervison of Professor Nobuko Yoshida in Jan 2017.