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.

Authors

S. Keramidis

This author has not been identified. Look up 'S. Keramidis' in Google

L. Mackert

This author has not been identified. Look up 'L. Mackert' in Google