Truly Concurrent Synchronization of Markov Chains - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Truly Concurrent Synchronization of Markov Chains


We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial orders viewpoint. We propose a randomization of the new, concurrent system. The random concurrent system we construct has two key properties: first it is Markovian, and second it has a local independence property, meaning that local processes are, in the probabilistic sense, conditionally independent. We compare this construction with the product of Probabilistic Automata.
Fichier principal
Vignette du fichier
PI-1866.pdf (488.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00175408 , version 1 (28-09-2007)


  • HAL Id : inria-00175408 , version 1


Samy Abbes, Albert Benveniste. Truly Concurrent Synchronization of Markov Chains. [Research Report] PI 1866, 2007, pp.20. ⟨inria-00175408⟩
141 View
45 Download


Gmail Facebook Twitter LinkedIn More