research
∙
08/21/2023
Partially Typed Multiparty Sessions
A multiparty session formalises a set of concurrent communicating partic...
share
research
∙
03/24/2022
Asynchronous Sessions with Input Races
We propose a calculus for asynchronous multiparty sessions where input c...
research
∙
01/01/2022
Event structure semantics for multiparty sessions
We propose an interpretation of multiparty sessions as "flow event struc...
research
∙
11/23/2021
Deconfined Global Types for Asynchronous Sessions
Multiparty sessions with asynchronous communications and global types pl...
research
∙
02/01/2021
Global types and event structure semantics for asynchronous multiparty sessions
We propose an interpretation of multiparty sessions with asynchronous co...
research
∙
02/20/2020
Soundness conditions for big-step semantics
We propose a general proof technique to show that a predicate is sound, ...
research
∙
09/12/2019
Open Multiparty Sessions
Multiparty sessions are systems of concurrent processes, which allow sev...
research
∙
01/15/2018