Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes

4Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

Abstract

Logical characterizations of nondeterministic, probabilistic, and Markovian variants of bisimulation equivalence rely on similar modal languages, each including true, negation, conjunction, and diamond. Likewise, logical characterizations of the corresponding variants of trace equivalence rely on similar modal languages, each including only true and diamond. Unfortunately, this is not the case with the existing logical characterizations of the corresponding variants of testing equivalence, as they are based on different modal languages. In this paper we show that the logical characterizations of testing equivalences for fully nondeterministic processes, fully probabilistic processes, and fully Markovian processes without silent moves can be harmonized by means of a modal language comprising true, disjunction, and diamond. © 2009 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Bernardo, M. (2009). Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. Electronic Notes in Theoretical Computer Science, 253(3), 3–23. https://doi.org/10.1016/j.entcs.2009.10.002

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free