Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with process algebra
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008•Springer
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.
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.
Abstract
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.
Springer