Partial order semantics and refinement for distributed systems

Zwiers, J. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aalborg, Denemarken
    Period4 Oct 1990
    Event titleNordic workshop on Parallellism and Concurrency
    Event typeConference
    LocationAalborg, Denemarken

    Keywords

    • METIS-123603