Modeling systems by probabilistic process algebra: an event structures approach

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    13 Citations (Scopus)
    8 Downloads (Pure)

    Abstract

    Performance and reliability analysis of distributed systems based on formal specifications is an important and widely recognized issue. This paper treats a probabilistic version of (a subset of) the process algebra LOTOS. It incorporates a probabilistic choice assigning a probability of occurrence to each of its alternatives. Opposed to the traditional interleaving semantics used for existing probabilistic process algebras the presented language is based on a true concurrency semantics. This enables us to distinguish between nondeterminism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system without considering other (irrelevant) parts. In this paper the language is presented and the formal semantics is defined by using an extension of bundle event structures. A short example illustrates the novelties of the language and links the language to stochastic analysis based on semi-Markov chains.
    Original languageEnglish
    Title of host publicationFormal description techniques, VI
    Subtitle of host publicationproceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques-FORTE '93: Boston, MA, U.S.A., 26-29 October 1993
    EditorsRichard L. Tenney, Paul D. Amer, M. Ümit Uyar
    Place of PublicationAmsterdam ; New York
    PublisherNorth Holland
    Pages253-269
    ISBN (Print)0-444-81773-5
    Publication statusPublished - 1994

    Keywords

    • METIS-119010

    Fingerprint Dive into the research topics of 'Modeling systems by probabilistic process algebra: an event structures approach'. Together they form a unique fingerprint.

    Cite this