Distributed Calculus and Coordination

Teacher:

• Emanuela Merelli

Lessons schedule:

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

Students reception hours:

• Tuesday 5:30pm - 7:30pm, Palazzo Battibocca - 2nd Piano - Room n.CS-05

1. Saper caratterizzare la modellazione di sistemi complessi.
2. Esser capace di applicare metodi, linguaggi e tecniche del calcolo distribuito e di coordinazione nella modellazione di sistemi software complessi.
3. Saper modellare un sistema multiagente in ambienti di prototipizzazione.
4. Saper caratterizzare l'evoluzione dei modelli con l''analisi dei dati reali fenomenologici.

1. Modelli di Calcolo Distribuito: algebre di processo; CCS-like
2. Modelli e linguaggi di Coordinazione: LINDA, Klaim
3. Paradigmi di programmazione concorrente: agent-oriented, actor-based
4. Ambienti di modellizzazione e prototipizzazione di sistemi multiagente: REPAST,
5. Modelli guidati dall'analisi topologica dei dati: 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:

Exam Results

• N/A