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 Aceto,  Joost-Pieter Katoen, Jan Willem Klop, Mariëlle Stoelinga

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

Contents

· Cover

· Titlepage

· Summary

· Get the whole thing

Defense

· My Paranimf are Rena Bakhshi and Mengxiao Wu.

· Slides