Enhancements of the bisimulation proof method

Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method. In Davide Sangiorgi, Jan J. M. M. Rutten, editors, Advanced Topics in Bisimulation and Coinduction. Volume 52 of Cambridge tracts in theoretical computer science, pages 233-289, Cambridge University Press, 2012.

Possibly Related Publications

The following publications are possibly variants of this publication: