Title: Formale Methoden Für Verteilte Systeme