Books by Davide Sangiorgi
4 titles available, newest first by original publication date.
Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
$136.99
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
$169.99
The Pi-Calculus: A Theory of Mobile Processes
The Pi-Calculus: A Theory of Mobile Processes
Davide Sangiorgi
$99.99
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Davide Sangiorgi
$128.99