Parallele Automaten - Kutrib, Martin (Bericht / Arbeitsgruppe Informatik, Universität Gießen, 1994)