Ein Kalkül zur Konstruktion deadlockfreier Systeme

S. Keramidis, L. Mackert. Ein Kalkül zur Konstruktion deadlockfreier Systeme. In Gerhard Zimmermann, editor, GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Kiel, 19.-21. März 1980, Proceedings. Volume 27 of Informatik-Fachberichte, pages 217-233, Springer, 1980.

Bibliographies