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.

@inproceedings{Cusack91:0,
  title = {Object Oriented Modelling in Z for Open Distributed Systems},
  author = {Elspeth Cusack},
  year = {1991},
  tags = {meta-model, source-to-source, object-role modeling, Meta-Environment, open-source, meta-objects},
  researchr = {https://researchr.org/publication/Cusack91%3A0},
  cites = {0},
  citedby = {0},
  pages = {167-178},
  booktitle = {Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991},
  editor = {Jan de Meer and Volker Heymer and Rudolf Roth},
  volume = {C-1},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-89329-6},
}