ITU

Probabilistic Bisimulation for Realistic Schedulers

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

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.
Original languageEnglish
Title of host publicationFM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Volume9109
PublisherSpringer
Publication date2015
Pages248-264
ISBN (Print)978-3-319-19248-2
ISBN (Electronic)978-3-319-19249-9
DOIs
Publication statusPublished - 2015
EventThe 20th International Symposium on Formal Methods - University of Oslo, Oslo, Norway
Duration: 22 Jun 201526 Jun 2015
Conference number: 20
http://fm2015.ifi.uio.no/

Conference

ConferenceThe 20th International Symposium on Formal Methods
Nummer20
LocationUniversity of Oslo
LandNorway
ByOslo
Periode22/06/201526/06/2015
Internetadresse
SeriesLecture Notes in Computer Science
ISSN0302-9743

Downloads

No data available

ID: 80428077