Davide Sangiorgi

Davide Sangiorgi is the author of books such as Introduction To Bisimulation and Coinduction.