Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with (2008)

by G BOUDOL, I CASTELLANI, M HENNESSY, M NIELSEN, G WINSKEL
Venue:Process Algebra, in "Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th