PhD navigation: PhD Overview Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Download area

PhD Download Area

The thesis itself

• 2up Postscript gzipped (816K)
• Postscript gzipped (928K)
• PDF (1515K)

Related software

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

Home Science Overview All Publications Talks PhD CCSL Robin