Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity
Work
Year: 2006
Type: article
Abstract: 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... more
Author Marco Bernardo
Institution University of Urbino
Cites: 18
Cited by: 6
Related to: 10
FWCI: 1.213
Citation percentile (by year/subfield): 59.69
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold