Timed process algebra, operational semantics and partial order models

    Activity: Talk or presentationOral presentation

    Period6 Jul 1994
    Held atUniversity of Liege, Belgium
    Degree of RecognitionInternational