Timed process algebra (with a focus on explicit termination and relative-timing)

J.C.M. Baeten, M.A. Reniers

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)

    Samenvatting

    We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other variants. We concentrate on relative timing, but the treatment of absolute timing is similar. We treat both discrete and dense timing. We build up the theory incrementally. The different algebras are interrelated by embeddings and conservative extensions. As an example, we consider the PAR communication protocol.

    Originele taal-2Engels
    TitelFormal Methods for the Design of Real-Time Systems (Revised Lectures, International School, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004)
    RedacteurenM. Bernardo, F. Corradini
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's59-97
    Aantal pagina's39
    ISBN van geprinte versie3-540-23068-8
    DOI's
    StatusGepubliceerd - 1 dec 2004

    Publicatie series

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

    Vingerafdruk Duik in de onderzoeksthema's van 'Timed process algebra (with a focus on explicit termination and relative-timing)'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit