On the Design and Formal Specification of a Transaction Processing Protocol

  • I.A. Widya (Speaker)

    Activity: Talk or presentation › Oral presentation

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