Davide Sangiorgi

9 citations · 9 across the 2 of their papers we have counts for

collaborators

Showing cs.LOShow all

3 papers · 1 filter

cs.LO2025

First-order store and visibility in name-passing calculi

Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi

The $π$ -calculus is the paradigmatical name-passing calculus. While being purely name-passing, it allows the representation of higher-order functions and store. We study how $π$ -ca…

cs.LO2024★ 2 cited

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations

Davide Sangiorgi

Up-to techniques' represent enhancements of the coinduction proof method and are widely used on coinductive behavioural relations such as bisimilarity. Abstract formulations of the…

cs.LO2021★ 9 cited

Eager Functions as Processes

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

We study Milner's encoding of the call-by-value $λ$ -calculus into the $π$ -calculus. We show that, by tuning the encoding to two subcalculi of the $π$ -calculus (Internal $π$ and Asy…