2 papers
cs.LO2026
Wiring the Pi-calculus to Denotational Semantics
Ken Sakayori, Davide Sangiorgi, Simon Castellan +1
We introduce a dialect of the Asynchronous pi-calculus, called AWpi, in which (1) an input name may be owned, at any time, by at most one process; (2) each name has either only the…
cs.LO2024
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…