Metodi formali per computazioni cooperative