Modelling distributed systems using Z

Authors:
Howard Bowman;John Derrick
Affiliations:
Computing Laboratory, University of Kent, Canterbury, UK;Computing Laboratory, University of Kent, Canterbury, UK
Venue:
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Year:
1995

The Z notation: a reference manual

The Z notation: a reference manual
An introduction to formal specification and Z

An introduction to formal specification and Z
Z and the Refinement Calculus

VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Introduction to the Open Distributed Processing Basic Reference Model

Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing

Hi-index	0.00