Davide Sangiorgi, Jan J. M. M. Rutten, editors, Advanced Topics in Bisimulation and Coinduction. Volume 52 of Cambridge tracts in theoretical computer science, Cambridge University Press, 2012. [doi]
@book{12-20,
title = {Advanced Topics in Bisimulation and Coinduction},
year = {2012},
url = {http://www.cambridge.org/gb/knowledge/isbn/item6542021},
researchr = {https://researchr.org/publication/12-20},
cites = {0},
citedby = {0},
editor = {Davide Sangiorgi and Jan J. M. M. Rutten},
volume = {52},
series = {Cambridge tracts in theoretical computer science},
publisher = {Cambridge University Press},
isbn = {978-1-10-700497-9},
}