appunti/Programmazione Concorrente e Distribuita/04 Correttezza.pdf