Mixing Up Nondeterminism and Probability: A Preliminary Report

Jeremy den Hartog, E.P. De Vink

    Research output: Contribution to conferencePaperpeer-review

    21 Citations (Scopus)
    52 Downloads (Pure)


    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
    Number of pages23
    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


    Workshop1st International Workshop on Probabilistic Methods in Verification, PROBMIV 1998
    Abbreviated titlePROBMIV
    CountryUnited States


    • IR-56324
    • EWI-1065

    Cite this