CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis note addresses some aspects in the history of concurrency theory, the theory of parallel and distributed systems, in computer science. Origins are traced back to the early sixties of the twentieth century, and developments since that time are sketched. The authors give their personal views on these matters.
| Titolo: | Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi |
| Autore/i: | Baeten, Jos C. M.; SANGIORGI, DAVIDE |
| Autore/i Unibo: | |
| Anno: | 2014 |
| Titolo del libro: | Computational Logic |
| Pagina iniziale: | 399 |
| Pagina finale: | 442 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/B978-0-444-51624-4.50009-5 |
| Abstract: | This note addresses some aspects in the history of concurrency theory, the theory of parallel and distributed systems, in computer science. Origins are traced back to the early sixties of the twentieth century, and developments since that time are sketched. The authors give their personal views on these matters. |
| Data stato definitivo: | 30-nov-2015 |
| Appare nelle tipologie: | 2.01 Capitolo / saggio in libro |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020