2014
DOI: 10.1016/j.tcs.2014.03.001
|View full text |Cite
|
Sign up to set email alerts
|

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

Abstract: 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 proba… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
12
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
6
2

Relationship

2
6

Authors

Journals

citations
Cited by 17 publications
(12 citation statements)
references
References 42 publications
0
12
0
Order By: Relevance
“…Indeed, we have that ∼ ct PTe-tbt,dis coincides with ∼ ct PTe-∀∃ and with ∼ ct PTe-, which in turn coincides with ∼ PTe-, its variant based on deterministic schedulers. Thus, ∼ ct PTe-tbt,dis constitutes an alternative characterization of ∼ PTe-, a fact that reconciles the testing equivalence deeply investigated in the literature with the three approaches recently explored in [4] to the definition of behavioral relations for NPLTS models.…”
Section: Resultsmentioning
confidence: 59%
“…Indeed, we have that ∼ ct PTe-tbt,dis coincides with ∼ ct PTe-∀∃ and with ∼ ct PTe-, which in turn coincides with ∼ PTe-, its variant based on deterministic schedulers. Thus, ∼ ct PTe-tbt,dis constitutes an alternative characterization of ∼ PTe-, a fact that reconciles the testing equivalence deeply investigated in the literature with the three approaches recently explored in [4] to the definition of behavioral relations for NPLTS models.…”
Section: Resultsmentioning
confidence: 59%
“…Such characterizations of ∼ PTe-, together with its position in the spectrum of NPLTS behavioral equivalences studied in [4], reveals that this equivalence has a higher discriminating power with respect to the fully nondeterministic case.…”
Section: Introductionmentioning
confidence: 78%
“…In the latter case, we would have that, in the RPLTS setting, testing equivalence reaches the same discriminating power as bisimilarity not only in the presence of an explicit copying capability within tests [24], but also in the absence of it, provided that tests are equipped with both internal nondeterminism and probabilities. We point out that this would be a peculiarity of RPLTS processes, because it is known that NPLTS tests are less powerful than bisimilarity in the case of NPLTS processes [4]. The numerous examples of RPLTS processes that we have examined lead us to the following:…”
Section: Characterizing Rplts Testing Equivalencesmentioning
confidence: 94%
“…We proceed to recall some notions, mostly from [5][6][7], necessary to reason on trace and testing semantics. A computation is a weighted sequence of process-to-process transitions.…”
Section: Introductionmentioning
confidence: 99%