Semantisches Browsen
Aus International Center for Computational Logic
This paper presents various semantics in t … This paper presents various semantics in the branching-time spectrum of discrete-time and continuous-time Markov chains (DTMCs and CTMCs). Strong and weak bisimulation equivalence and simulation pre-orders are covered and are logically characterized in terms of the temporal logics Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL). Apart from presenting various existing branching-time relations in a uniform manner, this paper presents the following new results: (i) strong simulation for CTMCs, (ii) weak simulation for CTMCs and DTMCs, (iii) logical characterizations thereof (including weak bisimulation for DTMCs), (iv) a relation between weak bisimulation and weak simulation equivalence, and (v) various connections between equivalences and pre-orders in the continuous- and discrete-time setting. The results are summarized in a branching-time spectrum for DTMCs and CTMCs elucidating their semantics as well as their relationship.r semantics as well as their relationship. +
@article{BKHW2005,
author = {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and
Verena Wolf},
title = {Comparative branching-time semantics for Markov chains},
journal = {Information and Computation},
volume = {200},
number = {2},
year = {2005},
pages = {149--214},
doi = {10.1016/J.IC.2005.03.001}
}
author = {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and
Verena Wolf},
title = {Comparative branching-time semantics for Markov chains},
journal = {Information and Computation},
volume = {200},
number = {2},
year = {2005},
pages = {149--214},
doi = {10.1016/J.IC.2005.03.001}
}
Baier +
Christel +
Christel Baier, Joost-Pieter Katoen, Holge … Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf<br/> '''[[Article1994314596|Comparative branching-time semantics for Markov chains]]''' <br/>__NOTOC__Information and Computation, 200(2):149--214, 2005<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article1994314596|Details]]icle1994314596|Details]] +
Christel Baier, Joost-Pieter Katoen, Holge … Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf<br/> '''[[Article1994314596/en|Comparative branching-time semantics for Markov chains]]''' <br/>__NOTOC__Information and Computation, 200(2):149--214, 2005<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article1994314596|Details]]icle1994314596|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Comparative branching-time semantics for Markov chains +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:45:09 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains +, Comparative branching-time semantics for Markov chains + und Comparative branching-time semantics for Markov chains +
