On the Design and Formal Specification of a Transaction Processing Protocol

I.A. Widya (Speaker)

    Activity: Talk or presentationOral presentation

    Period9 Nov 1990
    Event titleIFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990: null
    Event typeConference
    Conference number3
    LocationMadrid, Spain
    Degree of RecognitionInternational