Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.
Item Type:Journal Article
Citation:Gerard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra., Concurrency, Graphs and Models, 5065/2008, 2008, 757-777
ugo.pdf (Published (author's copy) - Peer Reviewed) 169.7Kb
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.
Author: HENNESSY, MATTHEW
Type of material:Journal Article
Series/Report no:Concurrency, Graphs and Models;
Availability:Full text available