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 publicationThird International conference on formal description techniques for distributed systems and communications protocol
    Place of PublicationSydney
    Pages411-426
    Number of pages16
    Publication statusPublished - 1 Sep 1991

    Keywords

    • METIS-119495

    Cite this

    van Sinderen, M. J., & Widya, I. A. (1991). On the design and formal specification of a transaction processing protocol. In Third International conference on formal description techniques for distributed systems and communications protocol (pp. 411-426). Sydney.