Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

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.

>View abstract

>View available files

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.