Linear-Time Semantics

Trace Semantics for Stochastic Systems with 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}
}
DOI
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for …
@article{wolfTraceMachinesForObserving2006,
 author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
 doi = {10.1016/j.entcs.2005.10.042},
 editor = {Nicht bekannt},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {5},
 number = {2},
 pages = {259-277},
 publisher = {Elsevier, Amsterdam},
 title = {Trace Machines for Observing Continuous-Time Markov Chains},
 volume = {153},
 year = {2006}
}
DOI