Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
The evolution of higher-level biochemical reaction models
Genetic Programming and Evolvable Machines
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Hi-index | 0.00 |