Davide Sangiorgi. Introduction to bisimulation and coinduction. Cambridge University Press, 2012, 247 pp. - Advanced topics in bisimulation and coinduction, edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, vol. 52. Cambridge University Press, 2012, 326 pp [Book Review]

Bulletin of Symbolic Logic 19 (1):108-110 (2013)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1079898600009094
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,728
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Theory of Bisimulation for the [Pi]-Calculus.Davide Sangiorgi - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.

Analytics

Added to PP index
2019-04-25

Total views
6 ( #947,115 of 2,264,684 )

Recent downloads (6 months)
2 ( #610,433 of 2,264,684 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature