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.

Abstract

Abstract is missing.