The How and Why of Interactive Markov Chains

Autor: Hermanns, H., Katoen, Joost P., de Boer, F.S, Bonsangue, S.H., Leuschel, M

Publikováno v: Formal Methods for Components and Objects ISBN: 9783642170706
FMCO
Symposium on Formal Methods for Components and Objects, FMCO 2009, 311-337
STARTPAGE=311;ENDPAGE=337;TITLE=Symposium on Formal Methods for Components and Objects, FMCO 2009

This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs are closed under parallel composition and hiding, and show how IMCs can

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52ea745edb4b70d3a822d360f45e6dfb
https://doi.org/10.1007/978-3-642-17071-3_16