STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Davide Sangiorgi | lit.salon
Davide Sangiorgi
No bio available.
Add one in Open Library.
Books by Davide Sangiorgi (50 max)
+ shelf
+ list
Advanced Topics in Bisimulation and Coinduction
2011
Davide Sangiorgi
+ shelf
+ list
Introduction to Bisimulation and Coinduction
2011
Davide Sangiorgi
+ shelf
+ list
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science)
2005
Rocco De Nicola, Davide Sangiorgi
+ shelf
+ list
Theoretical Computer Science 8th IFIP TC 1/WG 2. 2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
2014
Josep Diaz, Ivan Lanese, Davide Sangiorgi
+ shelf
+ list
A theory of bisimulation for the (lambda)-calculus
1993
Davide Sangiorgi
+ shelf
+ list
Locality and non-interleaving semantics in calculi for mobile processes
1994
Davide Sangiorgi
+ shelf
+ list
CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)
1998
Davide Sangiorgi, Gerhard Goos, Juris Hartmanis
+ shelf
+ list
The [pi]-calculus: a theory of mobile processes
2001
Davide Sangiorgi
+ shelf
+ list
An introduction to bisimulation and coinduction
2011
Davide Sangiorgi
+ shelf
+ list
Pi-Calculus A Theory of Mobile Processes
Davide Sangiorgi, David Walker - undifferentiated
