Pubblicazioni

D. Sangiorgi, Introduction to bisimulation and coinduction, CAMBRIDGE, Cambridge University Press, 2012, pp. 260 . [Monografia/Trattato scientifico in forma di libro]