On the Design and Formal Specification of a Transaction Processing Protocol

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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