%0 Book %1 Sangiorgi2012Introduction %A Sangiorgi, Davide %D 2012 %I Cambridge University Press %K 00a71-theory-of-mathematical-modeling 00a72-general-methods-of-simulation 68q85-models-and-methods-for-concurrent-and-distributed-computing 68u20-computational-simulation %T Introduction to Bisimulation and Coinduction %U http://www.worldcat.org/isbn/9781107003637 %@ 9781107003637

@book{Sangiorgi2012Introduction, added-at = {2019-03-01T00:11:50.000+0100}, author = {Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/2108ef5f27a9b361bef8b92fe0c75e3b3/gdmcbain}, citeulike-article-id = {14460108}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/9781107003637}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN9781107003637}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=9781107003637\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/9781107003637}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/932179945}, comment = {Cited in Wikipedia 'Bisimulation':https://en.wikipedia.org/wiki/Bisimulation}, interhash = {ce1f3b5780dd8e6d02f055737d2d1664}, intrahash = {108ef5f27a9b361bef8b92fe0c75e3b3}, isbn = {9781107003637}, keywords = {00a71-theory-of-mathematical-modeling 00a72-general-methods-of-simulation 68q85-models-and-methods-for-concurrent-and-distributed-computing 68u20-computational-simulation}, posted-at = {2017-10-17 23:11:17}, priority = {4}, publisher = {Cambridge University Press}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Introduction to Bisimulation and Coinduction}}, url = {http://www.worldcat.org/isbn/9781107003637}, year = 2012 }