Generating Interactive WebSocket Applications in TypeScript. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (PLACES@ETAPS, 2020)

Statically verified refinements for multiparty protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Communication-safe web programming in TypeScript with routed multiparty session types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (CC, 2021)

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. - Nobuko Yoshida; Fangyi Zhou 002; Francisco Ferreira 001 (FCT, 2021)

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. - Anson Miu; Francisco Ferreira 001; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2021)

Generalised Multiparty Session Types with Crash-Stop Failures. - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CONCUR, 2022)

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CoRR, 2022)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (ECOOP, 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Dagstuhl Artifacts Ser., 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2023)

Crash-Stop Failures in Asynchronous Multiparty Session Types. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Log. Methods Comput. Sci., 2025)