Clocks, Dice and Processes

PhD thesis, September 2009

General Information:

·         I wrote my thesis as a PhD student at CWI.

·         Thesis supervisor: Wan Fokkink and Jaco van de Pol

·         Reading committee: Luca AcetoJoost-Pieter Katoen, Jan Willem Klop, Mariëlle Stoelinga

·         Promotion committee:  reading committee + supervisors +  Jan. A. Bergstra and Bas Luttik 


·         Cover

·         Titlepage

·         Summary

·         Get the whole thing


·         My Paranimf are Rena Bakhshi and Mengxiao Wu.

·         Slides