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.

Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi / Baeten, Jos C.M.; Sangiorgi, Davide. - STAMPA. - 9:(2014), pp. 399-442. [10.1016/B978-0-444-51624-4.50009-5]

Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi

SANGIORGI, DAVIDE
2014

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.
2014
Computational Logic
399
442
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi / Baeten, Jos C.M.; Sangiorgi, Davide. - STAMPA. - 9:(2014), pp. 399-442. [10.1016/B978-0-444-51624-4.50009-5]
Baeten, Jos C.M.; Sangiorgi, Davide
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/521343
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact