Formale Beschreibungstechniken für verteilte Systeme