LOTOS: A process-algebraic application for the specification of distributed systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    4 tutorial lectures
    Period30 Aug 1990
    Held atUniversity of Twente