====== Distributed Calculus and Coordination ======
----
===== News =====
<WRAP center round important 95%>
  * <wrap em>**October 15, 2018**</wrap>: The lecture of today, 15/10/2018, is cancelled. 
</WRAP>

----
===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[http://computerscience.unicam.it/merelli/|Emanuela Merelli]]

**ESSE3 Link**
  * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2018*N0*N0*S1*14565*7555&ANNO_ACCADEMICO=2018&mostra_percorsi=S|Distributed Calculus and Coordination - AY 2018/2019]]

**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
</WRAP>
----
===== Course Objectives =====

<WRAP box round 95% center>
  - 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. 
</WRAP>

----
===== Course Contents =====

<WRAP round 95% center box>
  - 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]
</WRAP>
----
===== Study material =====
<WRAP box round center 95%>
**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
</WRAP>
----
===== Exams =====
<WRAP box round center 95%>
**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
</WRAP>