research
∙
06/07/2023
Monitoring Blackbox Implementations of Multiparty Session Protocols
We present a framework for the distributed monitoring of networks of com...
share
research
∙
09/12/2022
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
The emergence of propositions-as-sessions, a Curry-Howard correspondence...
research
∙
09/06/2022
Asynchronous Functional Sessions: Cyclic and Concurrent
We present Concurrent GV (CGV), a functional calculus with message-passi...
research
∙
08/16/2022
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)
We present Concurrent GV (CGV), a functional calculus with message-passi...
research
∙
05/02/2022
Functions as Processes: The Case of Collapsing Non-determinism
This paper studies typed translations of λ-calculi into π-calculi, both ...
research
∙
11/25/2021
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version)
This paper considers the challenging problem of establishing deadlock fr...
research
∙
10/01/2021
Deadlock Freedom for Asynchronous and Cyclic Process Networks
This paper considers the challenging problem of establishing deadlock fr...
research
∙
01/22/2021
A Decentralized Analysis of Multiparty Protocols
Protocols provide the unifying glue in concurrent and distributed softwa...
research
∙
04/03/2020
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Session type systems have been given logical foundations via Curry-Howar...
research
∙
03/29/2018