Lumpability Abstractions of Rule based Systems

-

English
38 Pages
Read an excerpt
Gain access to the library to view online
Learn more

Description

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


Subjects

Informations

Published by
Reads 42
Language English
Report a problem
MeCBIC 2010
Lumpability Abstractions of Rule-based Systems
Jérôme Feret LIENS (INRIA, ENS, CNRS) Paris, France
Heinz Koeppl Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland
Thomas Henzinger Institute of Science of Technology Vienna, Austria
Tatjana Petrov Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland
1.
2.
3.
4.
5.
6.
Overview
Context and motivations
Case studies
Stochastic semantics
Lumpability
Bisimulations
Conclusion
Jérôme Feret
2
August 23, 2010
Jérôme
Feret
Signalling
3
Pathways
Eikuch,
August
2007
23, 2010