Introduction to Bisimulation and Coinduction
 |
 |
 |
apice = {BisimCoindBook11},
author = {Sangiorgi, Davide},
publisher = {Cambridge University Press},
title = {An introduction to Bisimulation and Coinduction},
year = 2011
}