Object Oriented Modelling in Z for Open Distributed Systems

Elspeth Cusack. Object Oriented Modelling in Z for Open Distributed Systems. In Jan de Meer, Volker Heymer, Rudolf Roth, editors, Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991. Volume C-1 of IFIP Transactions, pages 167-178, North-Holland, 1991.

Abstract

Abstract is missing.