Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Davide Sangiorgi
Davide Sangiorgi
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
8
Concurrency theory
The [pi]-calculus
Introduction to Bisimulation and Coinduction
Trustworthy global computing
Theoretical Computer Science
Pi-Calculus
A theory of bisimulation for the (lambda)-calculus
Locality and non-interleaving semantics in calculi for mobile processes
![The [pi]-calculus](https://images.lid.im/storage/books/covers/8324436.webp)
