PhD thesis, September 2009
· 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
· Cover
· Summary
· My Paranimf are Rena Bakhshi and Mengxiao Wu.
· Slides