Title: Formale Beschriebungstechniken für verteilte Systeme