A consistent causality based and interleaved view on a timed process algebra including timeouts

Langerak, R. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period7 Mar 1996
    Held at3rd AMAST Workshop on Real-Time Systems 1996
    Event typeConference
    Conference number3
    LocationSalt Lake City, United States, Utah
    Degree of RecognitionInternational