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

Related software

Download the CCSL compiler from this page.

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

Home Science Overview All Publications Talks PhD CCSL Robin

last modified on 20 Sep 2011 by Hendrik