Sistemi distribuiti 2021/2022
Principale | Lucidi | Laboratorio | Progetti |
prologo
(A0) Sul corso
casi di studio
(C1) Il teorema CAP. Disponibilità, consistenza, e fallimento nei sistemi distribuiti
(C2) Il problema del consenso nei sistemi distribuiti
(C3) Distributed Ledger Technology: Blockchain come Middleware
principale
(M0) Perché i sistemi distribuiti?
(M1) Alle radici dei sistemi distribuiti: computazione nello spazio e nel tempo
(M2) Definizioni e fini dei sistemi distribuiti
(M3) Tipi di sistemi distribuiti
(M4) Modellare sistemi distribuiti: algebra dei processi
(M5) Modellare sistemi distribuiti: architettura software e di sistema
(M6) Caratteristiche dei sistemi distribuiti
(M7) Calcolare con il tempo
(M8) Calcolare con lo spazio
paradigmi e tecnologie
(P1) Agenti per i sistemi distribuiti
(P2) Coordinazione di sistemi distribuiti
(T0) Tecnologie per i sistemi distribuiti: una cornice concettuale
(T1) Agenti semplici in Jade & TuCSoN
(T2) Linda su TuCSoN. Le basi