Location of Repository

Markov two-components processes

By Samy Abbes


34 pagesInternational audienceWe 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

Topics: [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Publisher: Logical Methods in Computer Science Association
Year: 2013
DOI identifier: 10.2168/LMCS-9(2:14)2013
OAI identifier: oai:HAL:hal-00878108v1
Provided by: Hal-Diderot

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.