research
∙
09/13/2023
EXPRESSing Session Types
To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we ...
share
research
∙
02/07/2022
Eager Functions as Processes (long version)
We study Milner's encoding of the call-by-value λ-calculus into the π-ca...
research
∙
12/06/2021
Eager Functions as Processes
We study Milner's encoding of the call-by-value λ-calculus into the π-ca...
research
∙
04/22/2021
On sequentiality and well-bracketing in the π-calculus
The π -calculus is used as a model for programminglanguages. Its context...
research
∙
01/20/2020
Modular coinduction up-to for higher-order languages via first-order transition systems
The bisimulation proof method can be enhanced by employing `bisimulation...
research
∙
08/27/2018
Unique Solutions of Contractions, CCS, and their HOL Formalisation
The unique solution of contractions is a proof technique for bisimilarit...
research
∙
06/29/2018
Divergence and unique solution of equations
We study proof techniques for bisimilarity based on unique solution of e...
research
∙
04/16/2018