|
ECTS:
|
6
|
Nositelji:
|
Prof. dr. sc.
Ignac Lovrek
Prof. dr. sc.
Mario Kušek
|
Engleski jezik:
1,1,1
|
Svi elementi nastave na predmetu provode se na engleskom jeziku. Ova razina uključuje i predmete s više nastavnih grupa (u hrvatskoj grupi nastava je isključivo na hrvatskom jeziku, a u engleskoj grupi isključivo na engleskom jeziku).
|
Opis predmeta:
|
Teorijski modeli konkurentnosti: opća teorija mreža, dinamički sustav, sustav uvjeta i događaja. Procesi i komunikacija u konkurentnim sustavima, pravila kompozicije i dekompozicije. Specifikacija, verifikacija i validacija konkurentnih procesa, postupci analize i sinteze. Konkurentnost u raspodijeljenim i umreženim sustavima, agentskim sustavima i sustavima s pokretnim agentima. Procesne algebre za pokretne procese: pi-calculus, ambijent calculus. Evaluacija performansi: network calculus.
|
Literatura:
|
- A. W. Roscoe: Understanding Concurrent Systems, Springer, 2010.
- I. Lovrek: Modeli telekomunikacijskih procesa - Teorija i primjena Petrijeve mreže, Školska knjiga, Zagreb, 1997.
- R. Milner: Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press, 1999.
|
|
Zimski semestar
|
predmet za
Poslijediplomski studij
|
|
