Fangyi Zhou Home Posts Publications About Publications 2021 (2) Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types 2020 (2) Statically Verified Refinements for Multiparty Protocols Generating Interactive WebSocket Applications in TypeScript