Davide Sangiorgi
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryAI
An introduction to bisimulation and coinduction
cover - Image source: Open LibraryTG
Trustworthy global computing
cover - Image source: Open LibraryTP
The Pi-Calculus
cover - Image source: Open LibraryT[
The [pi]-calculus
cover - Image source: Open LibraryC'
Concurrency theory
cover - TCTheoretical Computer ScienceDavide Sangiorgi
Theoretical Computer Science
no cover - ITIntroduction to Bisimulation an...Davide Sangiorgi
Introduction to Bisimulation and Coinduction
no cover - ATAdvanced topics in bisimulation...Davide Sangiorgi
Advanced topics in bisimulation and coinduction
no cover - PPi-CalculusDavide Sangiorgi
Pi-Calculus
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
An introduction to bisimulation and coinduction
- Open Work
Trustworthy global computing
- Open Work
The Pi-Calculus
- Open Work
The [pi]-calculus
- Open Work
Concurrency theory
- Open Work
Theoretical Computer Science
- Open Work
Introduction to Bisimulation and Coinduction
- Open Work
Advanced topics in bisimulation and coinduction
- Open Work
Pi-Calculus