Broy, ManfredA Theory for Nondeterminsm, Parallelism, Communication and ConcurrencyHabilitation1982
Broy, ManfredTransformation parallel ablaufender Programme1980Dissertation158 Seiten