Skip to content
Vinony

Davide Sangiorgi

No biography available.

Works (4)

Cover of An introduction to bisimulation and coinduction
An introduction to bisimulation and coinduction
Cover of Concurrency theory
Concurrency theory
Cover of The [pi]-calculus
The [pi]-calculus
Cover of Trustworthy global computing
Trustworthy global computing