An introduction to Bisimulation and Coinduction
 |
 |
@book{bisimCoind11,
Author = {Sangiorgi, Davide},
Publisher = {Cambridge University Press},
Title = {An introduction to Bisimulation and Coinduction},
Year = 2011}
Author = {Sangiorgi, Davide},
Publisher = {Cambridge University Press},
Title = {An introduction to Bisimulation and Coinduction},
Year = 2011}