Trace Machines for Observing Continuous-Time Markov Chains

  title={Trace Machines for Observing Continuous-Time Markov Chains},
  author={Verena Wolf and Christel Baier and Mila E. Majster-Cederbaum},
  journal={Electr. Notes Theor. Comput. Sci.},
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the probabilities for timed execution paths. Our focus is on testing scenarios by means of push-button experiments with appropriate trace machines and a discussion of the connections between the equivalences. For Markovian trace equivalence, we provide alternative characterizations, including one that abstracts away from the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 19 extracted citations

Similar Papers

Loading similar papers…