A complete finite prefix for process algebra

E. Brinksma, R. Langerak

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 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