D
Davide Sangiorgi
10 works on record
Works

An introduction to bisimulation and coinduction

Concurrency theory

Trustworthy global computing
![The [pi]-calculus](https://covers.openlibrary.org/b/id/8706815-M.jpg)
The [pi]-calculus
Advanced topics in bisimulation and coinduction
Advanced topics in bisimulation and coinduction
Theoretical Computer Science
Theoretical Computer Science
Introduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
Pi-Calculus
Pi-Calculus
Locality and non-interleaving semantics in calculi for mobile processes
Locality and non-interleaving semantics in calculi for mobile processes
A theory of bisimulation for the (lambda)-calculus
A theory of bisimulation for the (lambda)-calculus