research
∙
09/13/2023
EXPRESSing Session Types
To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we ...
share
research
∙
04/13/2023
A Logical Account of Subtyping for Session Types
We study the notion of subtyping for session types in a logical setting,...
research
∙
12/11/2022
On the Fair Termination of Client-Server Sessions
Client-server sessions are based on a variation of the traditional inter...
research
∙
07/08/2022
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
Fair termination is the property of programs that may diverge "in princi...
research
∙
05/18/2022
Fair Termination of Multiparty Sessions
There exists a broad family of multiparty sessions in which the progress...
research
∙
08/03/2021
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Many properties of communication protocols combine safety and liveness a...
research
∙
07/23/2020
Probabilistic Analysis of Binary Sessions
We study a probabilistic variant of binary session types that relate to ...
research
∙
04/01/2020
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Modern hardware platforms, from the very small to the very large, increa...
research
∙
04/02/2019
Concurrent Typestate-Oriented Programming in Java
We describe a generative approach that enables concurrent typestate-orie...
research
∙
03/28/2018
Deadlock-Free Typestate-Oriented Programming
Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to...
research
∙
01/12/2018
Mailbox Types for Unordered Interactions
We propose a type system for reasoning on protocol conformance and deadl...
research
∙
05/27/2015