Fangyi ZhouHome Posts PublicationsTalks AboutPublications2025 (1)Crash-Stop Failures in Asynchronous Multiparty Session Types2023 (1)Designing Asynchronous Multiparty Protocols with Crash-Stop Failures2022 (1)Generalised Multiparty Session Types with Crash-Stop Failures2021 (2)Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session TypesCommunication-Safe Web Programming in TypeScript with Routed Multiparty Session Types2020 (2)Statically Verified Refinements for Multiparty ProtocolsGenerating Interactive WebSocket Applications in TypeScript