Symbolically quantifying response time in stochastic models using moments and semirings

DOI10.1007/978-3-319-89366-2_22zbMath1504.68071OpenAlexW2798155478MaRDI QIDQ1653002

Hugo Bazille, Eric Fabre, Blaise Genest

Publication date: 17 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_22

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semirings (16Y60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Symbolically quantifying response time in stochastic models using moments and semirings