Universiteit van Amsterdam



UvA

Keuzegedrag in computersystemen geanalyseerd met procesalgebra
woensdag 3 april 14.00 uur

Promotie Informatica
De processpecificatietaal muCRL is ontworpen als formele methode voor de specificatie, analyse en verificatie van het gedrag van (computer)systemen. Dat wil zeggen, dat muCRL is bedoeld om met wiskundige precisie te redeneren over processen. Het is voor de bruikbaarheid van een formele methode van belang dat de wiskundige principes die de constructies van de taal onderbouwen, goed worden begrepen. De promovendus onderzocht de wiskundige principes die ten grondslag liggen aan een bepaalde constructie uit muCRL: de choice quantifier (in het Nederlands: keuzekwantor). Deze constructie wordt met name gebruikt om een notie van 'input' te beschrijven: een proces ontvangt een willekeurig element uit een verzameling van relevante gegevens en zijn gedrag is vervolgens afhankelijk van het ontvangen gegeven. Luttik analyseerde deze vorm van keuzekwantificatie in de context van de procesalgebra. S.P. Luttik: Choice quantification in process algebra. Promotoren zijn prof. dr. J.A. Bergstra en prof. dr. ir. J.F. Groote (TUE).

Jeroen Winckers
Universiteit van Amsterdam
Persvoorlichting
Postbus 19268
1000 GG Amsterdam
tel. 020-525 3194
fax. 020-525 4963
http://www.uva.nl
afwezig op woensdag