Russ Harmer

Russ Harmer

CNRS, Lyon
Verified email at ens-lyon.fr
Cited by 2055
graph transformation rule-based modelling game semantics
Andreea Beica

Andreea Beica

PhD Student, ENS Paris
Verified email at di.ens.fr
Cited by 23
computational systems biology discrete event systems Petri Nets Rule Based modelling resource allocation