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
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science 8th Ifip Tc 1/Wg 2. 2 International Conference, Tcs 2014, Rome, Italy, September 1-3, 2014. Proceedings
Davide Sangiorgi — Books & Biography | Menrva Books | MenrvaBooks