Trace Machine

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