5 citations · 6 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
On Up-to Context Techniques in the -calculus
Enguerrand Prebet
We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in…
cs.LO2021
On sequentiality and well-bracketing in the -calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
The -calculus is used as a model for programming languages. Its contexts exhibit arbitrary concurrency, making them very discriminating. This may prevent validating desirable be…