24 citations · 74 across the 13 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
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…
cs.LO2018★ 8 cited
Divergence and unique solution of equations
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure sem…
cs.LO2018★ 3 cited
Trees from Functions as Processes
Davide Sangiorgi, Xian Xu
Levy-Longo Trees and Bohm Trees are the best known tree structures on the λ-calculus. We give general conditions under which an encoding of the λ-calculus into the π-calculus is so…