Gian Luigi Ferrari;Roberto Gorrieri;Ugo Montanari
-;-;-
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models