appunti/Programmazione Concorrente e Distribuita/05 Correttezza.pdf