research
∙
07/08/2023
Concerto Grosso for Sessions: Fair Termination of Sessions
Sessions are a fundamental notion in message-passing systems. A session ...
share
research
∙
11/21/2022
Ain't No Stopping Us Monitoring Now
Not all properties are monitorable. This is a well-known fact, and it me...
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
∙
02/14/2020