Concurrency and Composition in a Stochastic World

Abstract : We discuss conceptional and foundational aspects of Markov automata [22]. We place this model in the context of continuous- and discrete-time Markov chains, probabilistic automata and interactive Markov chains, and provide insight into the parallel execution of such models. We further give a detailled account of the concept of relations on distributions, and discuss how this can generalise known notions of weak simulation and bisimulation, such as to fuse sequences of internal transitions.
Type de document :
Communication dans un congrès
Paul Gastin, François Laroussinie. CONCUR 2010 - Concurrency Theory, 21th International Conference, Aug 2010, Paris, France. Springer Verlag, 6269, pp.21-39, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [51 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00650728
Contributeur : Wendelin Serwe <>
Soumis le : mardi 3 janvier 2012 - 11:47:19
Dernière modification le : mercredi 11 avril 2018 - 01:53:13
Document(s) archivé(s) le : mercredi 4 avril 2012 - 02:21:12

Fichier

Eisentraut-Hermanns-Zhang-10.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00650728, version 1

Citation

Christian Eisentraut, Holger Hermanns, Lijun Zhang. Concurrency and Composition in a Stochastic World. Paul Gastin, François Laroussinie. CONCUR 2010 - Concurrency Theory, 21th International Conference, Aug 2010, Paris, France. Springer Verlag, 6269, pp.21-39, 2010, Lecture Notes in Computer Science. 〈hal-00650728〉

Partager

Métriques

Consultations de la notice

316

Téléchargements de fichiers

219