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