This is an old revision of the document!

Distributed Calculus and Coordination

News

  • Insert the date here: the course web site is now on-line
  • February 29nd, 2016: The page is on-line

General Info

Teacher:

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

Course Objectives

The course intends blablabla….

Course Contents

  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]

Study material

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

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:

Exam Results

  • N/A