Use this page to list additional Resources that may be helpful to your students.

• Department of CSE Home Page
• York Exam Schedule

• See chapters 1 and 2 of CSP by C.A.R. Hoare for examples and background to CSP.
• Install PAT3 (also available under windows in Prism).
• Online User's Manual available here. Also available from Help in the PAT application.

• Bertrand Meyer on the IEEE standard for specification