Authors: Iain S.C.Houston Mark B.Josephs

Citation: Iain S.c.houston et Mark B.josephs, Short communication : specifying distributed CICS in Z :accessing local and reote resources", Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 569-579