Broy, Manfred
A Theory for Nondeterminsm, Parallelism, Communication and Concurrency
Habilitation
1982

Broy, Manfred
Transformation parallel ablaufender Programme
1980
Dissertation
158 p.