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

Broy, Manfred
Transformation parallel ablaufender Programme
Dissertation
1980