|
ECTS:
|
6
|
Lecturers in charge:
|
Prof. dr. sc.
Ignac Lovrek
Prof. dr. sc.
Mario Kušek
|
English level:
1,1,1
|
All teaching activities in the course will be held on English. This level includes courses with multiple groups (i.e., all teaching will be held strictly in Croatian for Croatian groups, and strictly in English for English groups).
|
Description:
|
Theoretical models of concurrency: general net theory, dynamic system, condition-event system. Processes and communication in concurrent systems, composition and decomposition rules. Specification, verification and validation of concurrent processes, analysis and synthesis methods. Concurrency in distributed and networked systems, agent systems and mobile agent systems. Process algebras for mobile processes: pi-calculus, ambient calculus. Performance evaluation: network calculus.
|
Literature:
|
- 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 semester
|
course for
Graduation study
|
|
