Come usare queste lezioni
- Ogni lezione è ricostruita da trascrizione + slide, con widget interattivi (simulatori, esploratori di stato, codice annotato).
- Le lezioni seguono i quattro moduli del corso, in ordine cronologico.
- Materiale di studio non ufficiale.
Modulo 1 — Fondamenti della programmazione concorrente
- 16 feb 2026Introduzione alla Programmazione Concorrente e Programmazione Asincrona104 min
- 16 feb 2026Programmazione Concorrente e Asincrona: Introduzione e Panoramica59 min
- 20 feb 2026Modellazione dell'Esecuzione di Programmi Concorrenti166 min
- 23 feb 2026Modelli di Esecuzione Concorrente, Correttezza e Sezione Critica109 min
- 27 feb 2026Modellazione, Sezione Critica, Verifica Formale, Semafori e Monitor169 min
- 2 mar 2026Sezione Critica, Thread Safety e Model Checking con Java143 min
- 6 mar 2026Semafori, Deadlock e Monitor175 min
- 13 mar 2026Semafori, Monitor, Modellazione e Verifica di Programmi Concorrenti165 min
- 16 mar 2026Semafori, Monitor, Modellazione e Verifica di Programmi Concorrenti113 min
- 20 mar 2026Design di Sistemi Concorrenti: Task, Executor, Semafori e Monitor179 min