(Weak) Simulation

Bisimulation and Simulation Relations for Markov Chains
Formal notions of bisimulation and simulation relation play a central role for any kind of process algebra. This short paper sketches …
@article{baierBisimulationAndSimulationRelations2006,
 author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf},
 doi = {10.1016/j.entcs.2005.12.078},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {9},
 pages = {73-78},
 publisher = {Elsevier, Amsterdam},
 title = {Bisimulation and Simulation Relations for Markov Chains},
 volume = {162},
 year = {2006}
}
DOI
Comparative branching-time semantics for Markov chains
This paper presents various semantics in the branching-time spectrum of discrete-time and continuous-time Markov chains (DTMCs and …
@article{baierComparativeBranchingTimeSemanticsFor2005,
 author = {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and Verena Wolf},
 doi = {10.1016/j.ic.2005.03.001},
 journal = {Information and Computation (Inform. Comput.)},
 month = {8},
 number = {2},
 pages = {149-214},
 publisher = {Elsevier, Amsterdam},
 title = {Comparative branching-time semantics for Markov chains},
 volume = {200},
 year = {2005}
}
DOI