Concurrency theory of cyclic and acyclic processes - Stehr, Mark-Oliver (Universität <Hamburg> / Fachbereich Informatik: Bericht, 1996)