Concurrency and Composition in a Stochastic World - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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.
Fichier principal
Vignette du fichier
Eisentraut-Hermanns-Zhang-10.pdf (218.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00650728 , version 1 (03-01-2012)

Identifiers

  • HAL Id : hal-00650728 , version 1

Cite

Christian Eisentraut, Holger Hermanns, Lijun Zhang. Concurrency and Composition in a Stochastic World. CONCUR 2010 - Concurrency Theory, 21th International Conference, Aug 2010, Paris, France. pp.21-39. ⟨hal-00650728⟩
363 View
548 Download

Share

Gmail Facebook X LinkedIn More