کتاب های Davide Sangiorgi
![Advanced Topics in Bisimulation and Coinduction](http://cdn.ketabkoo.com/covers/0/52693-n.jpg)
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi, Jan Rutten (Editors), 2012![The [pi]-calculus : a theory of mobile processes](http://cdn.ketabkoo.com/covers/2/281936-n.jpg)
The [pi]-calculus : a theory of mobile processes
Davide Sangiorgi, 2001![The Pi Calculus](http://cdn.ketabkoo.com/covers/2/281987-n.jpg)
The Pi Calculus
Davide Sangiorgi, 2001![Introduction to Bisimulation and Coinduction](http://cdn.ketabkoo.com/covers/4/464705-n.jpg)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi, 2011![Introduction to Bisimulation and Coinduction](http://cdn.ketabkoo.com/covers/4/464706-n.jpg)