Home / Authors / Davide Sangiorgi

Books by Davide Sangiorgi

All books by this author

3 books found
The Pi-Calculus: A Theory of Mobile Processes
The Pi-Calculus: A Theory of Mobile Processes
By: Davide Sangiorgi
View Details
Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
By: Davide Sangiorgi
View Details
The lazy lambda calculus in a concurrency scenario (LFCS report series)
The lazy lambda calculus in a concurrency scenario (LFCS re…
By: Davide Sangiorgi
View Details