Davide Sangiorgi
Davide Sangiorgi
5 ספרים במאגר
ספרים
An introduction to bisimulation and coinductionDavide Sangiorgi
An introduction to bisimulation and coinduction
Davide Sangiorgi · 2011
Advanced topics in bisimulation and coinductionDavide Sangiorgi
Advanced topics in bisimulation and coinduction
Davide Sangiorgi · 2011
Concurrency theoryDavide Sangiorgi
Concurrency theory
Davide Sangiorgi · 1998
Introduction to Bisimulation and CoinductionDavide Sangiorgi
Introduction to Bisimulation and Coinduction
Davide Sangiorgi · 2011
Pi-CalculusDavide Sangiorgi
Pi-Calculus
Davide Sangiorgi
ספרים משותפים ואוספים
ספרים שבהם Davide Sangiorgi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
