====== Distributed Calculus and Coordination ======
----
===== News =====
* **February 29nd, 2016**: The page is on-line
----
===== General Info =====
**Teacher**:
* [[http://computerscience.unicam.it/merelli/|Emanuela Merelli]]
**Lessons schedule**:
* Monday, 11am - 1pm (Room, D. M. Ritchie)
* Wednesday, 11am - 1pm (Room, D. M. Ritchie)
**Students Office hours**:
* Monday 4pm - 6pm, Palazzo Battibocca - 2nd Piano - Room n.CS-05
----
===== Course Objectives =====
- Be able to characterize the modelling of complex systems.
- Be able to apply methods, languages and techniques of the distributed calculus and coordination in modelling complex systems.
- Be able to design a multiagent system using prototyping environment.
- Be able to characterize the evolution of a model with the analysis of real phenomenological data.
----
===== Course Contents =====
- Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems).
- Coordination models and languages: Linda, Klaim
- Concurrent Programming paradigms: Agent-oriented, Actor-based.
- Multiagent modelling and simulation environments: REPAST
- Topological data analysis for driven modelling: S[B]
----
===== Study material =====
**Course Slides**
* slide 1st lesson
*
**Reference books**
- N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes
- M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009
- L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007
- A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005
----
===== Exams =====
**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