Luca Aceto
-
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Information and Computation