PristupačnostConcurrent Systems
Data is displayed for the academic year: 2025./2026.
Course Description
Theoretical models of competitiveness: general network theory, system of conditions and events. Concurrent systems: Relationship between conditions and events, concurrent and conflicting events. Processes and communication in concurrent systems, composition and decomposition rules. Specification, verification and validation of concurrent processes and threads, analysis and synthesis procedures. Concurrency in distributed and networked systems, agent systems and systems with mobile agents. Process algebras for moving processes: pi-calculus, ambient calculus. Performance evaluation: network calculus. Programming aspects of concurrency: software transactional memory, persistent and functional data structures, asynchronous and reactive programming, virtual threads, concurrency in the deployment environment (containers and lambda functions). Case studies of concurrency in information services and communication networks running in the cloud or at the edge.
Study Programmes
Postgraduate doctoral study programme
Literature
A.W. Roscoe (2010.), Understanding Concurrent Systems, Springer Science & Business Media
I. Lovrek (1997.), Modeli telekomunikacijskih procesa - Teorija i primjena Petrijeve mreže, Školska knjiga
Robin Milner (1999.), Communicating and Mobile Systems, Cambridge University Press
J. Magee, J. Kramer (2006.), Concurrency: State Models and Java Programs, Wiley
W. Shen, D. H. Norrie, J-P. Barthes (2000.), Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing, CRC Press
D. Ghosh (2016.), Functional and Reactive Domain Modeling, Manning Publications
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba (2007.), Reactive Systems, Cambridge University Press
General
ID 154902
Winter semester
6 ECTS
L1 e-Learning