Lumpability Abstractions of Rule based Systems

Niveau: Supérieur
MeCBIC 2010 Lumpability Abstractions of Rule-based Systems Jérôme Feret LIENS (INRIA, ENS, CNRS) Paris, France Thomas Henzinger Institute of Science of Technology Vienna, Austria Heinz Koeppl Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland Tatjana Petrov Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland

• signalling pathways


• federale de lausanne


• quantitative semantics


• rule-based approach


• complexity walls


• site graph


• model easily