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.

@inproceedings{KeramidisM80,
  title = {Ein Kalkül zur Konstruktion deadlockfreier Systeme},
  author = {S. Keramidis and L. Mackert},
  year = {1980},
  researchr = {https://researchr.org/publication/KeramidisM80},
  cites = {0},
  citedby = {0},
  pages = {217-233},
  booktitle = {GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Kiel, 19.-21. März 1980, Proceedings},
  editor = {Gerhard Zimmermann},
  volume = {27},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-09952-2},
}