On deadlocks in concurrent systems
Subtitle: a Petri net based approach for deadlock prediction and avoidance
By: Ndombe Cacutalua.
Series: GMD-Bericht / Gesellschaft für Mathematik und Datenverarbeitung -- Nr. 221; Berichte der Gesellschaft für Mathematik und Datenverarbeitung -- Nr. 221.
Publisher: R. Oldenbourg
Published: 1994
Place of publication: München
Language: eng
Number of pages: 216
Subjects: Parallel processing (Electronic computers); Petri nets.
Notes: Originally presented as the author's thesis (Doctoral--Koblenz, Landau, Univ., 1993).

Includes bibliographical references (p. 205-210) and index.