Modelling open distributed systems in Z

Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister. Modelling open distributed systems in Z. Computer Communications, 15(2):103-113, 1992. [doi]

Abstract

Abstract is missing.