Logo eprints

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Full text not available from this repository.


We present a comparison of behavioral equivalences for nondeterministic and probabilistic processes whose activities are all observable. In particular, we consider trace-based, testing, and bisimulation-based equivalences. For each of them, we examine the discriminating power of three variants stemming from three approaches that differ for the way probabilities of events are compared when nondeterministic choices are resolved via schedulers. The first approach compares two resolutions with respect to the probability distributions of all considered events. The second approach requires that the probabilities of the set of events of a resolution be individually matched by the probabilities of the same events in possibly different resolutions. The third approach only compares the extremal probabilities of each event stemming from the different resolutions. The three approaches have very reasonable motivations and, when applied to fully nondeterministic processes or fully probabilistic processes, give rise to the classical well studied relations. We shall see that, for processes with nondeterminism and probability, they instead give rise to a much wider variety of behavioral relations, whose discriminating power is thoroughly investigated here in the case of deterministic schedulers.

Item Type: Article
Identification Number: 10.1016/j.tcs.2014.03.001
Uncontrolled Keywords: Bisimulation equivalence; Testing equivalence; Failure equivalence; Trace equivalnece; Nondeterminism; Probability
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 15 Jun 2015 09:14
Last Modified: 15 Jun 2015 09:14
URI: http://eprints.imtlucca.it/id/eprint/2706

Actions (login required)

Edit Item Edit Item