research
∙
09/13/2023
Using Pi-Calculus Names as Locks
Locks are a classic data structure for concurrent programming. We introd...
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
∙
06/29/2018