TY - JOUR
T1 - Twenty Years on: Reflections on the CEDISYS Project
T2 - Combining True Concurrency with Process Algebra
AU - Boudol, Gerard
AU - Castellani, Ilaria
AU - Hennessy, Matthew
AU - Nielsen, Mogens
AU - Winskel, Glynn
PY - 2008
Y1 - 2008
N2 - We recall some memories of the Esprit Basic Research Action CEDISYS, a small, well-focussed and fruitful project which brought together researchers at the meeting point of true concurrency and process algebra, in the period 1988-1991. The project was initiated and effectively animated by Ugo Montanari, a passionate and long-time advocate of both these approaches to the semantics of concurrency.
AB - We recall some memories of the Esprit Basic Research Action CEDISYS, a small, well-focussed and fruitful project which brought together researchers at the meeting point of true concurrency and process algebra, in the period 1988-1991. The project was initiated and effectively animated by Ugo Montanari, a passionate and long-time advocate of both these approaches to the semantics of concurrency.
U2 - 10.1007/978-3-540-68679-8_47
DO - 10.1007/978-3-540-68679-8_47
M3 - Journal article
SN - 0302-9743
VL - 5065
SP - 757
EP - 777
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
ER -