Books by Davide Sangiorgi

Davide Sangiorgi
Average rating 3.86 · 14 ratings · 1 reviews · shelved 77 times

Showing 13 distinct works.

	The Pi-Calculus: A Theory of Mobile Processes by Davide Sangiorgi, David Walker 4.12 avg rating — 8 ratings — published 2001 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introduction to Bisimulation and Coinduction by Davide Sangiorgi 3.25 avg rating — 4 ratings — published 2011 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science, 3705) by Rocco De Nicola (Editor), Davide Sangiorgi (Editor), De R. Nicola it was amazing 5.00 avg rating — 1 rating — published 2006	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52) by Davide Sangiorgi (Editor), Jan Rutten (Editor) liked it 3.00 avg rating — 1 rating — published 2011 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Locality and non-interleaving semantics in calculi for mobile processes by Davide Sangiorgi 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Comica Desolazione by Davide Sangiorgi 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	An improved systolic array for string correction by Davide Sangiorgi 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The lazy lambda calculus in a concurrency scenario by Davide Sangiorgi 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A theory of bisimulation for the [lambda]-calculus by Davide Sangiorgi 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Pi-Calculus: A Theory of Mobile Processes by Davide Sangiorgi (2001-12-03) by Davide Sangiorgi, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trustworthy Global Computing by Rocco Nicola, Davide Sangiorgi (Editor) 0.00 avg rating — 0 ratings — published 2005	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings by Josep Díaz (Editor), Ivan Lanese (Editor), Davide Sangiorgi (Editor) 0.00 avg rating — 0 ratings — published 2014 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science Book 3705) by Rocco De Nicola (Editor), Davide Sangiorgi (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.