Distributed Calculus and Coordination

Teacher:

• Emanuela Merelli

ESSE3 Link

• Distributed Calculus and Coordination - AY 2018/2019

Lessons schedule:

• Tuesday, 9am - 11pm (Room, LB1)
• Thursday, 9am - 11pm (Room, LB1)

Students Office hours:

• Thursday 11pm - 13pm, Polo Informatico - new building

1. Be able to characterize the structure and dynamics of complex systems.
2. Be able to apply formal models and languages for modelling systems distribution and coordination.
3. Be able to analyse the agent-base modelling and the multiagent systems approach.
4. Be able to characterize the evolution of a model with the analysis of real phenomenological data.

1. Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems).
2. Coordination models and languages: Linda, Klaim
3. Concurrent Programming paradigms: Agent-oriented, Actor-based.
4. Multiagent modelling and simulation environments: REPAST
5. Topological data analysis for driven modelling: 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:

• Homeworks
• Development of a project (group or individual assignment).

Exam Results

• N/A