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

    Activity: Talk or presentation › Oral presentation

    Period7 Mar 1996
    Event title3rd AMAST Workshop on Real-Time Systems 1996
    Event typeConference
    Conference number3
    LocationSalt Lake City, United States, UtahShow on map
    Degree of RecognitionInternational