Markov two-components processes

DOI10.2168/LMCS-9(2:14)2013zbMath1297.68180arXiv1305.5239OpenAlexW3104702572MaRDI QIDQ2838243

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) Stopping times; optimal stopping problems; gambling theory (60G40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

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