research
∙
05/25/2023
A Logical Interpretation of Asynchronous Multiparty Compatibility
Session types are types for specifying the protocols that communicating ...
share
research
∙
03/23/2022
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
The increasingly concurrent and parallel landscape of hardware and softw...
research
∙
03/20/2022
Latent class mixed modelling for phenotypic stratification of primary biliary cholangitis patients on first line treatment
In patients with primary biliary cholangitis (PBC), the serum liver bioc...
research
∙
12/14/2021
Forwarders as Process Compatibility, Logically
Session types define protocols that processes must follow when communica...
research
∙
02/09/2021
Synchronous Forwarders
Session types are types for specifying protocols that processes must fol...
research
∙
06/30/2019
A Sound Algorithm for Asynchronous Session Subtyping (extended version)
Session types, types for structuring communication between endpoints in ...
research
∙
08/15/2018
Multiparty Classical Choreographies
We present Multiparty Classical Choreographies (MCC), a language model w...
research
∙
01/24/2018