Title: Zur formalen Beschreibung paralleler Prozesse in Rechenautomaten