A testing scenario for probabilistic processes
DOI10.1145/1314690.1314693zbMath1326.68138OpenAlexW2163369706MaRDI QIDQ3546349
Ling Cheung, Mariëlle I. A. Stoelinga, Frits W. Vaandrager
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/35234
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (16)
This page was built for publication: A testing scenario for probabilistic processes