Title: Formale Beschreibungstechniken für verteilte Systeme
Subjects: System analysis