Home / Authors / Davide Sangiorgi

Books by Davide Sangiorgi

All books by this author

3 books found ← Back to Search
The Pi-Calculus: A Theory of Mobile Processes
🇩🇪 Germany
The Pi-Calculus: A Theory of Mobile Processes
By: Davide Sangiorgi
View Details
Introduction to Bisimulation and Coinduction
🇺🇸 United States
Introduction to Bisimulation and Coinduction
By: Davide Sangiorgi
View Details
The lazy lambda calculus in a concurrency scenario (LFCS report series)
🇺🇸 United States
The lazy lambda calculus in a concurrency scenario (LFCS re…
By: Davide Sangiorgi
View Details