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