Mixing Up Nondeterminism and Probability: A Preliminary Report

Jeremy den Hartog, E.P. De Vink

    Research output: Contribution to conferencePaper

    21 Citations (Scopus)
    40 Downloads (Pure)

    Abstract

    For a process language with both nondeterministic and probabilistic choice, and a form of failure a transition system is given from which, in a modular way, various operational models corresponding to various interpretations of nondeterminism and probability can be obtained. The effect of failure of one component for the system as a whole is treated differently in each interpretation. The same approach is followed for an extension of the language with a parallel operator. The adopted concurrency model is of a distributed nature and assumes that progress is guaranteed if nonfailing components exist. To this end the notion of a take-over of a failing component is incorporated in the transition system. It is shown that the modular way in which the transition system can yield different semantical models applies to this setting as well.
    Original languageEnglish
    Pages88-110
    Number of pages23
    DOIs
    Publication statusPublished - Jun 1998
    Event1st International Workshop on Probabilistic Methods in Verification, PROBMIV 1998 - Indianapolis, United States
    Duration: 19 Jun 199820 Jun 1998
    Conference number: 1

    Workshop

    Workshop1st International Workshop on Probabilistic Methods in Verification, PROBMIV 1998
    Abbreviated titlePROBMIV
    CountryUnited States
    CityIndianapolis
    Period19/06/9820/06/98

    Keywords

    • IR-56324
    • EWI-1065

    Cite this

    den Hartog, J., & De Vink, E. P. (1998). Mixing Up Nondeterminism and Probability: A Preliminary Report. 88-110. Paper presented at 1st International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, United States. https://doi.org/10.1016/S1571-0661(05)82521-6