@book{17396, author = {Sangiorgi, Davide, }, title = {Advanced topics in bisimulation and coinduction /}, publisher = {Cambridge University,}, year = {2012.}, series = {Cambridge tracts in theoretical computer science ;}, address = {Cambridge ;} }