Title: Parallel Processes and Related Automata / Parallele Prozesse und Damit Zusammenhangende Automaten