A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit <a rel="external noopener" href="http://www.sti.uniurb.it/bernardo/documents/apc25.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity
<span title="">2006</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a>
</i>
Preserved Fulltext
The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besides being a congruence, Markovian bisimilarity is consistent with ordinary lumping, an exact aggregation for Markov chains. In this paper we show that two non-bisimulation-based Markovian behavioral equivalences -Markovian testing equivalence and Markovian trace equivalence -induce at the Markov chain level an
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.079">doi:10.1016/j.entcs.2005.12.079</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yqtwv6ip5begxijzjbdtzh6gqq">fatcat:yqtwv6ip5begxijzjbdtzh6gqq</a>
</span>
more »
... n strictly coarser than ordinary lumping that is still exact.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060610035821/http://www.sti.uniurb.it/bernardo/documents/apc25.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/64/dd64560adfc02f9bb2e6eff78f9d800e25916cd9.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.079">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
elsevier.com
</button>
</a>