Comparative Semantics

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