Heiko Schröder

• Zur formalen Beschreibung paralleler Prozesse in Rechenautomaten