DMCA
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
| Citations: | 1 - 1 self |
BibTeX
@MISC{Bernardo_thespectrum,
author = {Marco Bernardo and Michele Loreti},
title = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, 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 de-terministic schedulers. We show that the first approach – which compares two resolutions relatively to the probability distributions of all considered events – results in a fragment of the spectrum com-patible with the spectrum of behavioral equivalences for fully probabilistic processes. In contrast, the second approach – which compares the probabilities of the events of a resolution with the probabil-ities of the same events in possibly different resolutions – gives rise to another fragment composed of coarser equivalences that exhibits several analogies with the spectrum of behavioral equivalences for fully nondeterministic processes. Finally, the third approach – which only compares the extremal probabilities of each event stemming from the different resolutions – yields even coarser equivalences that, however, give rise to a hierarchy similar to that stemming from the second approach. 1
Keyphrases
probabilistic process strong behavioral equivalence behavioral equivalence second approach extremal probability different resolution yield bisimulation equivalence event result coarser equivalence third approach first approach probability distribution several analogy way probability different resolution de-terministic scheduler nondeterministic choice nondeterministic process
