Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
From MaRDI portal
Publication:2849998
DOI10.1007/978-3-642-40663-8_2zbMath1398.68376OpenAlexW369605624MaRDI QIDQ2849998
Publication date: 20 September 2013
Published in: Algebraic Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40663-8_2
Formal languages and automata (68Q45) 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)
This page was built for publication: Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
