AU kursuskatalog arkiv

Modeller for Concurrency og samtidige spil (Q1) ( efterår 2011 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk
• Niveau: Kandidatkursus
• Semester/kvarter: Q1
• Timer per uge: Forelæsninger (2+2t/uge)
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 32491

Formål

Deltagerne vil efter kurset have indsigt i modeller for concurrency og deres anvendelser indenfor an række områder, f.eks samtidige spil og regelbaseret systembiologi.

Obligatorisk program

En projektrapport på ca. 20 sider over et emne, der aftales med forelæseren.

Indhold

Inden for forskningsprogrammet "events, causality and symmetry - the next generation semantics" spiller "kausale" eller "uafhængigheds" modeller en nøglerolle, og en særlig problemstilling er udvidelse af spilsemantikker til samtidige spil. En ny definition af samtidige spil vil være et ledende tema i kurset og forhåbentlig give deltagerne lejlighed til at udforske dets rækkevidde og relevans. Undervejs vil kurset give en rask introduktion til hovedmodellerne for samtidige beregninger, specielt "kausale" og "uafhængigheds" modeller, der får voksende betydning i moderne semantik og verifikation, fra semantik og verifikation af samtidige/distribuerede beregninger, til verifikation af sikkerhedsprotokoller, spilsemantik og systembiologi. Skønt dette kursus ikke primært handler om anvendelser, så vil der være nogen diskussion af brugen af kausale modeller med korte skitser og pointere til anvendelser indenfor modelkontrol, sikkerhed, logik og systembiologi. - Modeller for concurrency: transitionssystemer, Petri net, Mazurkiewicz spor sprog, interleaving- versus uafhængigheds-modeller. - Bisimulering og åbne maps - Eventstrukturer og stabile familier - Samtidige spil Det følgende dækkes i den udstrækning tiden tillader: - Event strukturer med symmetri - Grafgenskrivning og regelbaseret systembiologi .

Faglige forudsætninger

Underviser

Glynn Winskel

Undervisnings- og arbejdsform

Forelæsninger og øvelser

Litteratur

Noter og artikler vil bliver oplyst. Det kommer formentlig til at omfatte: Winskel, G., and Nielsen, M., (1993) Models for Concurrency. A Chapter in the Handbook of Logic in Computer Science. OUP. Joyal, A., Nielsen, M., and Winskel, G., (1996) Bisimulation from open maps. An article in Inf.&Comp.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• definere og sammenligne transitionssystemer, Petri Net, Mazurkiewicz sporsprog og eventstrukturer.
• ræsonnere om disse modeller og indenfor disse modeller.
• forklare og diskutere brugen af disse modeller indenfor en række områder, f.eks. samtidige spil og regelbaseret systembiologi.

Eksamensterminer

Q1

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://mit.au.dk

Bedømmelse

Projektrapport, 7-skala, intern censur