Scopo del corso è fornire allo studente i fondamenti e gli strumenti per l’analisi, la progettazione e l’implementazione dei sistemi distribuiti. A questo scopo, il corso è diviso in tre parti. Nella prima parte si studiano gli aspetti sistemistico-architetturali dei sistemi distribuiti, analizzando vari modelli (client-server, multi-tier, peer-to-peer.). Nella seconda parte si studiano i modelli di comunicazione, i corrispondenti middleware, e alcuni linguaggi specifici per la programmazione dei sistemi distribuiti (come Erlang e Jolie). Infine, nella terza parte si affrontano i principali problemi della programmazione distribuita, come il rilevamento dei fallimenti, del deadlock, il raggiungimento del consenso, ecc.; per ognuna di questi, verranno presentate adeguate soluzioni algoritmiche e tecniche.