We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Probabilistic bisimulation for realistic schedulers.
- Authors
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
- Abstract
Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popularity as the coarsest behavioral equivalence enjoying valuable properties like preservation of trace distribution equivalence and compositionality. This holds in the classical context of arbitrary schedulers, but it has been argued that this class of schedulers is unrealistically powerful. This paper studies a strictly coarser notion of bisimilarity, which still enjoys these properties in the context of realistic subclasses of schedulers: Trace distribution equivalence is implied for partial information schedulers, and compositionality is preserved by distributed schedulers. The intersection of the two scheduler classes thus spans a coarser and still reasonable compositional theory of behavioral semantics.
- Subjects
SEMANTICS; BISIMULATION; MARKOV processes; COMPOSITIONALITY (Linguistics); INFORMATION processing
- Publication
Acta Informatica, 2018, Vol 55, Issue 6, p461
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-018-0313-1