research
∙
05/10/2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Session types provide a typing discipline for message-passing systems. H...
share
research
∙
07/05/2022
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Session types enable the specification and verification of communicating...
research
∙
01/12/2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Modern web programming involves coordinating interactions between browse...
research
∙
09/14/2020
Statically Verified Refinements for Multiparty Protocols
With distributed computing becoming ubiquitous in the modern era, safe d...
research
∙
04/03/2020