Generating Distributed Synchronization Code from Global Specifications

D.H. Kieronska, Chi-Ping Tsang

    Research output: Book/ReportOther output

    Original languageEnglish
    PublisherUnknown Publisher
    Publication statusPublished - 1993

    Cite this