Objectives
The course deals with methodologies and techniques for concurrent and distributed systems programming. The classical local-environment and global-environment are developed in depth, and applied to existing technologies (communication and shared memory libraries) and concurrent languages, as well as to higher level models, e.g. structured parallel programming and distributed framework, experimented in several case studies.

Syllabus
1. Concurrent programming models
2. Application to communication libraries
3. Application to shared memory libraries
4. Concurrent languages
5. Environments and tools for structured parallel programming and distributed frameworks
6. Case studies.

Course structure
6 CFUs. Exam consists in a written and an oral part.