Divergence and unique solution of equations
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 (or a system of equations) whose infinite unfolding never produces a diverg...
| Hauptverfasser: | , , |
|---|---|
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Logical Methods in Computer Science e.V.
2019-08-01
|
| Schriftenreihe: | Logical Methods in Computer Science |
| Schlagworte: | |
| Online Zugang: | https://lmcs.episciences.org/4653/pdf |