Specifying distributed CICS in Z: Accessing local and remote resources

Iain S.C. Houston; Mark B. Josephs

doi:10.1007/BF01211869

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 journal › Article › peer-review

12 Citations (Scopus)

Original language	English
Pages (from-to)	569-579
Number of pages	11
Journal	Formal Aspects of Computing
Volume	6
Issue number	5
DOIs	https://doi.org/10.1007/BF01211869
Publication status	Published (VoR) - Sept 1994

Keywords

CICS
Distributed systems
Formal specification
Resource management
Transaction processing
Z

Access to Document

10.1007/BF01211869

Cite this

@article{bdbfd41e6e844dc9bc086f231b8555f4,

title = "Specifying distributed CICS in Z: Accessing local and remote resources",

keywords = "CICS, Distributed systems, Formal specification, Resource management, Transaction processing, Z",

author = "Houston, {Iain S.C.} and Josephs, {Mark B.}",

year = "1994",

month = sep,

doi = "10.1007/BF01211869",

language = "English",

volume = "6",

pages = "569--579",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "5",

}

TY - JOUR

T1 - Specifying distributed CICS in Z

T2 - Accessing local and remote resources

AU - Houston, Iain S.C.

AU - Josephs, Mark B.

PY - 1994/9

Y1 - 1994/9

KW - CICS

KW - Distributed systems

KW - Formal specification

KW - Resource management

KW - Transaction processing

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=34249771895&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34249771895&partnerID=8YFLogxK

U2 - 10.1007/BF01211869

DO - 10.1007/BF01211869

M3 - Article

AN - SCOPUS:34249771895

SN - 0934-5043

VL - 6

SP - 569

EP - 579

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 5

ER -

Specifying distributed CICS in Z: Accessing local and remote resources

Keywords

Access to Document

Other files and links

Fingerprint

Cite this