Distributed Markov Chains

DOI10.1007/978-3-662-46081-8_7zbMath1432.68266arXiv1408.0979OpenAlexW64022595MaRDI QIDQ5172638

Madhavan Mukund, P. S. Thiagarajan, Javier Esparza, Ratul Saha, Sumit Kumar Jha

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Distributed Synthesis in Continuous Time

This page was built for publication: Distributed Markov Chains