9 citations · 17 across the 4 of their papers we have counts for
1 paper · 1 filter
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…