Markov two-components processes

DOI10.2168/LMCS-9(2:14)2013MaRDI QIDQ2838243zbMATH OpenOpenAlexFDO

Authors Samy Abbes

Publication date 9 July 2013

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.5239

zbMATH Keywords

Markov chainsconcurrencyprobabilistic processes

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Stopping times; optimal stopping problems; gambling theory (60G40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: 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.

Recommendations

• A theory of distributed Markov chains
• 2-asynchronous automata
• Probabilistic asynchronous automata
• Concurrency and composition in a stochastic world
• scientific article; zbMATH DE number 3846853

Cited in

(7)

• A bivariate markov process with diffusion and discrete components
• MULTIMODE TIME-MARKOV SYSTEMS: RECURSIVE TENSOR-BASED ANALYSIS, CHAOTIC GENERATION, LOCALLY LOOPING PROCESSES
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
• Forward and backward Markovian state space models of second order process
• MARM processes. II: The empirically-based subclass
• scientific article; zbMATH DE number 679701 (Why is no real title available?)
• scientific article; zbMATH DE number 4080579 (Why is no real title available?)

This page was built for publication: Markov two-components processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2838243)