Specifying distributed CICS in Z: Accessing local and remote resources

Iain S.C. Houston, Mark B. Josephs*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)569-579
    Number of pages11
    JournalFormal Aspects of Computing
    Volume6
    Issue number5
    DOIs
    Publication statusPublished (VoR) - Sept 1994

    Keywords

    • CICS
    • Distributed systems
    • Formal specification
    • Resource management
    • Transaction processing
    • Z

    Fingerprint

    Dive into the research topics of 'Specifying distributed CICS in Z: Accessing local and remote resources'. Together they form a unique fingerprint.

    Cite this