Concurrent Systems

Data is displayed for academic year: 2023./2024.

Course Description

Theoretical models of concurrency: general net theory, dynamic system, condition-event system. Concurrent systems: event-condition relationships, concurrent and conflict events. Processes and communication in concurrent systems, composition and decomposition rules, message passing, shared memory. Specification, verification and validation of concurrent processes, analysis and synthesis methods. Concurrency in distributed and networked systems, agent systems and mobile agent systems. Software aspects of concurrency: software transactional memory, persistent and functional data structures, reactive programming. Process algebras for mobile processes: pi-calculus, ambient calculus. Performance evaluation: network calculus. Case studies on concurrency in information services and communication networks.

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

For students

General

ID 154902
  Winter semester
6 ECTS
L3 English Level
L1 e-Learning