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