On Distributed Verification and Verified Distribution
Simona-Mihaela Orzan · Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam) · 2004
de promotiecommissie van de faculteit der Exacte Wetenschappen op donderdag 25 november 2004 om 10.45 uur in het auditorium van de universiteit, Lots of thanks to ... b Jaco van de Pol, my supervisor, for his careful guidance and for doing everything with such an exceptional combination of enthusiasm and common sense.He always listens patiently, asks good questions, gives precious advice and recognizes the right path.Z my promotor Wan Fokkink.He maintained a relaxed but productive environment in SEN2, and in my last few months at CWI he efficiently led the process of writing this thesis to a successful termination.o Stefan Blom, for our fruitful and pleasant cooperation.He let me