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.
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.