You are also required to read and understand the School Statement on Misconduct.
The purpose of this assignment is to give you experience developing a Z specification towards an implementation using data refinement. The case study is a simple reader-writer protocol (introduced in the lectures) which could be used for inter-processor communication in a distributed, multiprocessor system.