Lumpability Abstractions of Rule based Systems

Lumpability Abstractions of Rule based Systems

38

pages

English

Documents

Écrit par
Jérôme Feret

Publié par
chaeh

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Découvre YouScribe en t'inscrivant gratuitement

38

pages

English

Ebook

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Nombre de lectures

42

Langue

English

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

Publié par

Nombre de lectures

42

Langue

English

École polytechnique

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

Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents

© 2010-2024 YouScribe

Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts