Davide Sangiorgi
Books
- Theoretical Computer Science
- Advanced topics in bisimulation and coinduction
- Introduction to Bisimulation and Coinduction
- An introduction to bisimulation and coinduction
- Pi-Calculus
- A theory of bisimulation for the (lambda)-calculus
- Concurrency theory
- Locality and non-interleaving semantics in calculi for mobile processes
- Trustworthy global computing
- The [pi]-calculus
Author data: Open Library