Computing maximal weak and other bisimulations
We present and compare several algorithms for computing the maximal strong bisimulation, the maximal divergence-respecting delay bisimulation, and the maximal divergence-respecting weak bisimulation of a generalised labelled transition system. These bisimulation relations preserve CSP semantics, as...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Springer London
2015
|