2 papers
cs.LO2022
Eager Functions as Processes (long version)
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…
cs.LO2018
Unique Solutions of Contractions, CCS, and their HOL Formalisation
Chun Tian, Davide Sangiorgi
The unique solution of contractions is a proof technique for bisimilarity that overcomes certain syntactic constraints of Milner's "unique solution of equations" technique. The pap…