Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.

Gérard Boudol Ilaria Castellani Matthew Hennessy Mogens Nielsen Glynn Winskel Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. 757-777 2008 Concurrency, Graphs and Models http://dx.doi.org/10.1007/978-3-540-68679-8_47 conf/birthday/2008montanari db/conf/birthday/montanari2008.html#BoudolCHNW08