research
∙
05/10/2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Session types provide a typing discipline for message-passing systems. H...
research
∙
07/05/2022