research
∙
08/02/2023
Termination in Concurrency, Revisited
Termination is a central property in sequential programming models: a te...
share
research
∙
06/07/2023
Monitoring Blackbox Implementations of Multiparty Session Protocols
We present a framework for the distributed monitoring of networks of com...
research
∙
01/12/2023
A Minimal Formulation of Session Types
Session types are a type-based approach to the verification of message-p...
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
∙
01/25/2022
Scalable Typestate Analysis for Low-Latency Environments
Static analyses based on typestates are important in certifying correctn...
research
∙
12/02/2021
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)
Type-preserving translations are effective rigorous tools in the study o...
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
∙
07/22/2021
Minimal Session Types for the π-calculus (Extended Version)
Session types enable the static verification of message-passing programs...
research
∙
04/30/2021
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
We study encodings of the lambda-calculus into the pi-calculus in the un...
research
∙
01/22/2021
A Decentralized Analysis of Multiparty Protocols
Protocols provide the unifying glue in concurrent and distributed softwa...
research
∙
11/11/2020
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Compositional methods are central to the development and verification of...
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
∙
08/22/2019
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 2...
research
∙
07/02/2019
Domain-Aware Session Types (Extended Version)
We develop a generalization of existing Curry-Howard interpretations of ...
research
∙
06/10/2019
Minimal Session Types (Extended Version)
Session types are a type-based approach to the verification of message-p...
research
∙
10/01/2018
Comparing Type Systems for Deadlock-Freedom
Communication-centric software systems exhibit non trivial forms of conc...
research
∙
08/24/2018