{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:08:22Z","timestamp":1725631702543},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099529"},{"type":"electronic","value":"9783642676079"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67607-9_17","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T15:55:13Z","timestamp":1320854113000},"page":"217-233","source":"Crossref","is-referenced-by-count":0,"title":["Ein Kalkul zur Konstruktion Deadlockfreier Systeme"],"prefix":"10.1007","author":[{"given":"S.","family":"Keramidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Mackert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"17_CR1","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/363156.363160","volume":"11","author":"AN Habermann","year":"1969","unstructured":"Habermann, A.N.: \u201cPrevention on System Deadlocks\u201d. CACM 11, 7(1969), 373\u2013385","journal-title":"CACM"},{"issue":"7","key":"17_CR2","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: \u201cFormal Verification of Parallel Programs\u201d. CACM 19, 7(1976), 371\u2013384","journal-title":"CACM"},{"key":"17_CR3","unstructured":"Keramidis, S.: \u201eEin allgemeines formales Modell f\u00fcr Betriebssysteme und dessen Implementierung\u201c. Arbeitsberichte des IMMD, Bd.11, Nr. 13, Erlangen 1977."},{"key":"17_CR4","unstructured":"Keramidis, S; Grote, W.: \u201eBeitrage zur L\u00f6sung des Verklemmungsproblems in priorit\u00e4tsfreien Betriebsmittelmaschinen und Petri-Netzen\u201c. Arbeitsberichte des IMMD, Bd.12, Nr.9, Erlangen 1979"}],"container-title":["Informatik-Fachberichte","GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67607-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:54:16Z","timestamp":1606254856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67607-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099529","9783642676079"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67607-9_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}