General description. Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Jump to my home page

PhD Download Area

The thesis itself

Available formats (currently only A4 paper):

Related software

Download the CCSL compiler from this page.

The formalisation (including all examples) is available as gzipped tar file.


General description. Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Jump to my home page

last changed on 9 Aug 2002 by Hendrik