A complete finite prefix for process algebra

E. Brinksma, R. Langerak

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)

    Samenvatting

    In this paper we show how to use McMillan’s complete finite prefix approach for process algebra. We present the model of component event structures as a semantics for process algebra, and show how to construct a complete finite prefix for this model. We present a simple adequate order (using an order on process algebra expressions) as an optimization to McMillan’s original algorithm
    Originele taal-2Engels
    TitelComputer aided verification : proceedings 11th international conference, CAV '99, Trento, Italy, july 6-10, 1999
    RedacteurenN. Halbwachs, D. Peled
    UitgeverijSpringer
    Pagina's184-195
    ISBN van geprinte versie3-540-66202-2
    DOI's
    StatusGepubliceerd - 1999

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume1633
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'A complete finite prefix for process algebra'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit