Adrien Durier

Divergence and unique solution of equations

2018 · arXiv (Cornell University)

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 semantics, essentially stating that an equation …