Program transformation and action refinement in a partial order framework: the two phase commit protocol and the GHS Algorithm

W.P.M. Janssen (Speaker)

    Activity: Talk or presentationOral presentation


    Plaats van uitgifte: Kiel, BRD
    Period20 Nov 1991
    Event titlePreparatory meeting of N.European Partners for BRA 2 - Project react, workmeeting
    Event typeConference
    LocationKiel, BRD


    • METIS-123576