Teaching materials

This site provides material which has been used to teach an introductory course on untimed CSP at Royal Holloway, University of London. This material was originally produced by Simon Gay, with slight amendments by Steve Schneider. All material is available in postscript and in PDF format. It consists of slides for a sixteen lecture course, together with eight supplementary practicals.


The complete set of slides is available in postscript format.

Slides are also available by section in four to a page format for economical handouts:


All practicals are available in a single zipped postscript file.

All CSP files supporting practicals are also available in a single zip file.

Back to book home page