W. Knodel

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