appunti/Programmazione Concorrente e Distribuita/2020-03_02 Correttezza.pdf