Compositional Verification and Optimization of Interactive Markov Chains
From MaRDI portal
Publication:2842120
DOI10.1007/978-3-642-40184-8_26zbMath1390.68472arXiv1305.7332OpenAlexW3105159463MaRDI QIDQ2842120
Holger Hermanns, Jan Krčál, Jan Křetínský
Publication date: 12 August 2013
Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1305.7332
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