Books by Davide Sangiorgi
Advanced topics in bisimulatio
Advanced topics in bisimulation and coinduction
An introduction to bisimulation and coinduction
Introduction to Bisimulation a
Introduction to Bisimulation and Coinduction
Locality and non-interleaving
Locality and non-interleaving semantics in calculi for mobile processes
A theory of bisimulation for t
A theory of bisimulation for the (lambda)-calculus
Pi-Calculus
Pi-Calculus