×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Sangiorgi, Davide (ed.) et al., Advanced topics in bisimulation and coinduction. Cambridge: Cambridge University Press (ISBN 978-1-107-00497-9/hbk). Cambridge Tracts in Theoretical Computer Science 52, 100-172 (2012).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software