Iain S. C. Houston

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Iain S. C. Houston, Mark B. Josephs
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). Formal Aspects Comput. 6 (5) (1994)