Distributed Calculus and Coordination

Teacher:

• Emanuela Merelli

Lessons schedule:

• Monday, 11am - 1pm (Room, D. M. Ritchie)
• Wednesday, 11am - 1pm (Room, D. M. Ritchie)

Students Office hours:

• Monday 16:00 - 18:00, Palazzo Battibocca - 2nd Piano - Room n.CS-05

1. Know how characterize the modeling of complex systems.
2. Be able to apply methods, languages and techniques of distributed computing and coordination in the modeling of complex software systems.
3. Knowing how to model a multi-agent system in prototyping environments.
4. Knowing how characterize the evolution of the models with the phenomenological analysis of real data.

1. Distributed Calculation models: process algebras; CCS-like
2. Coordination models and languages: LINDA, Klaim
3. The paradigms of concurrent programming: agent-oriented, actor-based
4. Environments for modeling and prototyping of multi-agent systems: REPAST,
5. Models driven by topological analysis of data: S[B]

Course Slides

• slide 1st lesson

Reference books

1. N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes
2. M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009
3. L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007
4. A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005

Exam Dates A.Y. 2015/2016

• Winter session dates here
• Summer session dates here
• Autumn session dates here
• Winter session dates here (2016)

Exam rules:

• Execution of assigned exercises
• Development of a project (done individually or in groups).

Exam Results

• N/A