152
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Compositionality of Approximate Bisimulation for Probabilistic Systems

      Preprint
      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is for many applications too sensitive to the exact probabilities of transitions. Approximate bisimulation provides a robust semantics that is stable with respect to implementation and measurement errors of probabilistic behavior. We provide a general method to quantify how much a process combinator expands the approximate bisimulation distance. As a direct application we derive an appropriate rule format that guarantees compositionality with respect to approximate bisimilarity. Moreover, we describe how specification formats for non-standard compositionality requirements may be derived.

          Related collections

          Most cited references15

          • Record: found
          • Abstract: not found
          • Article: not found

          Metrics for labelled Markov processes

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A behavioural pseudometric for probabilistic transition systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Transition system specifications with negative premises

              Jan Groote (1993)
                Bookmark

                Author and article information

                Journal
                28 July 2013
                Article
                10.4204/EPTCS.120.4
                1307.7442
                91433250-8bfc-4d0b-ae80-637cdfd400f4

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                EPTCS 120, 2013, pp. 32-46
                In Proceedings EXPRESS/SOS 2013, arXiv:1307.6903
                cs.LO
                EPTCS

                Comments

                Comment on this article

                scite_
                20
                0
                12
                0
                Smart Citations
                20
                0
                12
                0
                Citing PublicationsSupportingMentioningContrasting
                View Citations

                See how this article has been cited at scite.ai

                scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

                Similar content218

                Cited by2

                Most referenced authors61