Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

L. Cloth, L. de Alfaro (Editor), S. Gilmore (Editor), H.C. Bohnenkamp, Boudewijn R.H.M. Haverkort

    Research output: Contribution to conferencePaper

    54 Downloads (Pure)

    Abstract

    In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.
    Original languageUndefined
    Pages152-167
    Number of pages16
    DOIs
    Publication statusPublished - 2001
    EventJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001 - Aachen, Germany
    Duration: 12 Sep 200114 Sep 2001

    Workshop

    WorkshopJoint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001
    Abbreviated titlePAPM-PROBMIV
    CountryGermany
    CityAachen
    Period12/09/0114/09/01

    Keywords

    • IR-63634
    • EWI-7907

    Cite this

    Cloth, L., de Alfaro, L. (Ed.), Gilmore, S. (Ed.), Bohnenkamp, H. C., & Haverkort, B. R. H. M. (2001). Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. 152-167. Paper presented at Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany. https://doi.org/10.1007/3-540-44804-7_10
    Cloth, L. ; de Alfaro, L. (Editor) ; Gilmore, S. (Editor) ; Bohnenkamp, H.C. ; Haverkort, Boudewijn R.H.M. / Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. Paper presented at Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany.16 p.
    @conference{4d27523bb85942a194c660b2ae7388bb,
    title = "Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes",
    abstract = "In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.",
    keywords = "IR-63634, EWI-7907",
    author = "L. Cloth and {de Alfaro}, L. and S. Gilmore and H.C. Bohnenkamp and Haverkort, {Boudewijn R.H.M.}",
    note = "Imported from research group DACS (ID number 469); null ; Conference date: 12-09-2001 Through 14-09-2001",
    year = "2001",
    doi = "10.1007/3-540-44804-7_10",
    language = "Undefined",
    pages = "152--167",

    }

    Cloth, L, de Alfaro, L (ed.), Gilmore, S (ed.), Bohnenkamp, HC & Haverkort, BRHM 2001, 'Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes' Paper presented at Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany, 12/09/01 - 14/09/01, pp. 152-167. https://doi.org/10.1007/3-540-44804-7_10

    Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. / Cloth, L.; de Alfaro, L. (Editor); Gilmore, S. (Editor); Bohnenkamp, H.C.; Haverkort, Boudewijn R.H.M.

    2001. 152-167 Paper presented at Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

    AU - Cloth, L.

    AU - Bohnenkamp, H.C.

    AU - Haverkort, Boudewijn R.H.M.

    A2 - de Alfaro, L.

    A2 - Gilmore, S.

    N1 - Imported from research group DACS (ID number 469)

    PY - 2001

    Y1 - 2001

    N2 - In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.

    AB - In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.

    KW - IR-63634

    KW - EWI-7907

    U2 - 10.1007/3-540-44804-7_10

    DO - 10.1007/3-540-44804-7_10

    M3 - Paper

    SP - 152

    EP - 167

    ER -

    Cloth L, de Alfaro L, (ed.), Gilmore S, (ed.), Bohnenkamp HC, Haverkort BRHM. Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. 2001. Paper presented at Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany. https://doi.org/10.1007/3-540-44804-7_10