Catalogo · 9783540648963
Concurrency theory
ISBN 9783540648963
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Advanced topics in bisimulation and coinduction
Davide Sangiorgi
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Trustworthy global computing
Rocco De Nicola, Davide Sangiorgi
Theoretical Computer Science
Josep Diaz, Ivan Lanese, Davide Sangiorgi
Pi-Calculus
Davide Sangiorgi, David Walker - undifferentiated
An introduction to bisimulation and coinduction
Davide Sangiorgi
Verba volant · scripta manent