English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In the paper "Relating Strong Behavioral Equivalences for Processes withNondeterminism and Probabilities" to appear in TCS, we present a comparison ofbehavioral equivalences for nondeterministic and probabilistic processes. Inparticular, we consider strong trace, failure, testing, and bisimulationequivalences. For each of these groups of equivalences, we examine thediscriminating power of three variants stemming from three approaches thatdiffer for the way probabilities of events are compared when nondeterministicchoices are resolved via deterministic schedulers. The establishedrelationships are summarized in a so-called spectrum. However, the equivalenceswe consider in that paper are only a small subset of those considered in theoriginal spectrum of equivalences for nondeterministic systems introduced byRob van Glabbeek. In this companion paper we we enlarge the spectrum byconsidering variants of trace equivalences (completed-trace equivalences),additional decorated-trace equivalences (failure-trace, readiness, andready-trace equivalences), and variants of bisimulation equivalences (kernelsof simulation, completed-simulation, failure-simulation, and ready-simulationpreorders). Moreover, we study how the spectrum changes when randomizedschedulers are used instead of deterministic ones.

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"