This is an old revision of the document!

Distributed Calculus and Coordination

News

  • September 29, 2020: The lectures start at 9:00 at LB1. Please follow the COVID security protocol of the phase 3, carefully!

General Info

Teacher:

ESSE3 Link

Lessons schedule:

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

Students Office hours:

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

Course Objectives

D1 - KNOWLEDGE AND UNDERSTANDING At the end of the course, the student should know and understand:

  1. Ordered List Item

D2 - APPLYING KNOWLEDGE AND UNDERSTANDING At the end of the course, the student should be able to:

  1. Ordered List Item

D3 - MAKING JUDGEMENTS At the end of the course, the student must be able to:

  1. choose the best calculus and the more suitable modelling approach to characterize the structure and the behaviour of a complex system;

D4 - COMMUNICATION SKILLS

  1. write a short review in LaTex
  2. write an essay about the assigned research topic
  3. make a short presentation of the assigned topic

D5 - LEARNING SKILLS At the end of the course, the student should be able to:

  1. formally characterize the structure and dynamics of complex systems
  2. analyse wether the agent-base modelling can be apply to a real context
  3. characterize the evolution of a model with the analysis of real phenomenological data

Course Contents

  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]

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:

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

Exam Results

  • N/A