Davide Sangiorgi
Davide Sangiorgi
5 books in the database
Books
An introduction to bisimulation and coinductionDavide Sangiorgi
An introduction to bisimulation and coinduction
Davide Sangiorgi · 2011
Advanced topics in bisimulation and coinductionDavide Sangiorgi
Advanced topics in bisimulation and coinduction
Davide Sangiorgi · 2011
Concurrency theoryDavide Sangiorgi
Concurrency theory
Davide Sangiorgi · 1998
Introduction to Bisimulation and CoinductionDavide Sangiorgi
Introduction to Bisimulation and Coinduction
Davide Sangiorgi · 2011
Pi-CalculusDavide Sangiorgi
Pi-Calculus
Davide Sangiorgi
Co-authored books and collections
Books that list Davide Sangiorgi among their authors but not as the lead author: co-written works, collections and compilations.
