Abbes, Samy - Markov two-components processes

lmcs:1088 - Logical Methods in Computer Science, June 28, 2013, Volume 9, Issue 2
Markov two-components processes

Authors: Abbes, Samy

We propose Markov two-components processes (M2CP) as a probabilistic model of asynchronous systems based on the trace semantics for concurrency. Considering an asynchronous system distributed over two sites, we introduce concepts and tools to manipulate random trajectories in an asynchronous framework: stopping times, an Asynchronous Strong Markov property, recurrent and transient states and irreducible components of asynchronous probabilistic processes. The asynchrony assumption implies that there is no global totally ordered clock ruling the system. Instead, time appears as partially ordered and random. We construct and characterize M2CP through a finite family of transition matrices. M2CP have a local independence property that guarantees that local components are independent in the probabilistic sense, conditionally to their synchronization constraints. A synchronization product of two Markov chains is introduced, as a natural example of M2CP.


Source : oai:arXiv.org:1305.5239
DOI : 10.2168/LMCS-9(2:14)2013
Volume: Volume 9, Issue 2
Published on: June 28, 2013
Submitted on: July 3, 2012
Keywords: Computer Science - Systems and Control


Share

Consultation statistics

This page has been seen 59 times.
This article's PDF has been downloaded 164 times.