research
∙
09/13/2023
Using Pi-Calculus Names as Locks
Locks are a classic data structure for concurrent programming. We introd...
share
research
∙
12/16/2021
On Up-to Context Techniques in the π-calculus
We present a variant of the theory of compatible functions on relations,...
research
∙
04/22/2021
On sequentiality and well-bracketing in the π-calculus
The π -calculus is used as a model for programminglanguages. Its context...
research
∙
05/02/2019