Mike Slade's MSc thesis
Mike Slade Definitive Parallel Programming. MSc thesis, Department of Computer Science, University of Warwick, UK (April 1990).
Keywords: parallel programming, state-transition system, definitive programming, modelling, simulation, specification, agent, synchronisation.
The copyright of the material in this thesis rests with the author and copying (or any other use of the material) without prior consent is not permitted.
Warning: the conversion of this document to PDF format is not perfect -- in particular, the page length and so the page numbers do not correspond to the original and some of the mathematical symbols have not been translated correctly. We hope to scan in the original to correct this eventually.