Approximations for Stochastic Graph Rewriting
Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro
2014

Fichiers

Résumé

In this note we present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state space consisting in graphs or graph-like objects, and jumps must be described by transformations which follow a finite set of local rules.

Détails

Titre Approximations for Stochastic Graph Rewriting
Auteur(s) Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo ; Stucki, Sandro
Publié dans Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
Editeur(s)
Série Lecture Notes in Computer Science, 8829
Pages 1-10
Présenté à 16th International Conference on Formal Engineering Methods, ICFEM '14, Luxembourg, Luxembourg, November 3-5, 2014
Date 2014
Editeur Springer International Publishing
ISBN 978-3-319-11736-2
Mots-clés (libres)
Note Invited paper. This research was sponsored by the European Research Council (ERC) under the grants 587327 “DOPPLER” and 320823 “RULE”.
DOI https://doi.org/10.1007/978-3-319-11737-9_1
Laboratoires LAMP
Le document apparaît dans Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LAMP - Laboratoire de méthodes de programmation
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice 2015-07-26

Actions

Aperçu