On the Design and Formal Specification of a Transaction Processing Protocol

Marten J. van Sinderen, I.A. Widya

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationFORTE'90
    Place of PublicationMadrid
    Pages515-532
    Number of pages18
    Publication statusPublished - 1 Nov 1990

    Keywords

    • METIS-119462

    Cite this