Nondeterminism
This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In …
@article{wolfTraceSemanticsForStochastic2006,
author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
doi = {10.1016/j.entcs.2006.07.019},
editor = {Nicht bekannt},
journal = {Electronic Notes in Theoretical Computer Science},
month = {10},
number = {3},
pages = {187-204},
publisher = {Elsevier, Amsterdam},
title = {Trace Semantics for Stochastic Systems with Nondeterminism},
volume = {164},
year = {2006}
}