A Related Interleaving and True Concurrency View on a Timed Process Algebra

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Christian-Albrechts-Universitaet, Kiel
    Period2 Feb 1995
    Event titleREACT circle meeting
    Event typeConference
    LocationChristian-Albrechts-Universitaet, Kiel

    Keywords

    • METIS-121364