Davide Sangiorgi profile picture

Davide Sangiorgi

Is this your author profile? Create an account to customize it!

Stand Alone

An introduction to bisimulation and coinduction
Concurrency theory
Theoretical Computer Science