Non abbiamo ancora una biografia di Davide Sangiorgi.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Advanced topics in bisimulation and coinduction
2011
Introduction to Bisimulation and Coinduction
2012
Trustworthy global computing
2006
Theoretical Computer Science
2014
Pi-Calculus
Concurrency theory
1998
An introduction to bisimulation and coinduction
Otium
