Statically Verified Refinements for Multiparty Protocols F Zhou, F Ferreira, R Hu, R Neykova, N Yoshida Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 44 | 2020 |
Communication-safe web programming in typescript with routed multiparty session types A Miu, F Ferreira, N Yoshida, F Zhou Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021 | 29 | 2021 |
Communicating finite state machines and an extensible toolchain for multiparty session types N Yoshida, F Zhou, F Ferreira Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021 …, 2021 | 21 | 2021 |
Generalised Multiparty Session Types with Crash-Stop Failures AD Barwell, A Scalas, N Yoshida, F Zhou 33rd International Conference on Concurrency Theory (CONCUR 2022), 35:1-35:25, 2022 | 14 | 2022 |
Generating Interactive WebSocket Applications in TypeScript A Miu, F Ferreira, N Yoshida, F Zhou Electronic Proceedings in Theoretical Computer Science 314, 12-22, 2020 | 9 | 2020 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures AD Barwell, P Hou, N Yoshida, F Zhou 37th European Conference on Object-Oriented Programming (ECOOP 2023) 263, 1 …, 2023 | 4 | 2023 |
Refining Multiparty Session Types F Zhou Imperial College London, 2024 | | 2024 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) AD Barwell, P Hou, N Yoshida, F Zhou Dagstuhl Artifacts Series 9, 9:1-9:3, 2023 | | 2023 |