{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:25:48Z","timestamp":1725693948575},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540084259"},{"type":"electronic","value":"9783642489082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/978-3-642-48908-2_6","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T16:35:28Z","timestamp":1343493328000},"page":"95-108","source":"Crossref","is-referenced-by-count":0,"title":["Wiederaufsetzen nach Fehlern in einem proze\u00dforientierten Betriebssystem"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Vogel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/362258.362278","volume":"12","author":"P Brinch Hansen","year":"1970","unstructured":"Brinch Hansen, P.: The nucelus of a multiprogramming system. Comm. ACM 12, 4, p. 238\u2013241, 250 (1970)","journal-title":"Comm. ACM"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1067629.806532","volume":"9","author":"E Cohen","year":"1975","unstructured":"Cohen, Ellis, Jefferson, David: Protection in the HYDRA operating system. Operating Systems Review 9, 5, p. 141\u2013160 (1975)","journal-title":"Operating Systems Review"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/356678.356680","volume":"8","author":"PJ Denning","year":"1976","unstructured":"Denning, Peter J.: Fault tolerant operating systems. Computing surveys 8, 4, p. 359\u2013390 (1976)","journal-title":"Computing surveys"},{"issue":"5","key":"6_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, Edsger W.: The structure of the \u201cTHE\u201d multiprogramming system. Comm. ACM 11, 5, p. 341\u2013346 (1968)","journal-title":"Comm. ACM"},{"key":"6_CR5","series-title":"Abteilung Mathematik der TU M\u00fcnchen, Bericht Nr. 7208","volume-title":"The operating system BSM viewed as a community of parallel processes","author":"G Goos","year":"1972","unstructured":"Goos, G., J\u00fcrgens, J., Lagally, K.: The operating system BSM viewed as a community of parallel processes. Abteilung Mathematik der TU M\u00fcnchen, Bericht Nr. 7208 (1972)"},{"key":"6_CR6","volume-title":"Managers versus monitors","author":"AJ Jammel","year":"1977","unstructured":"Jammel, Alfons J., Stiegler, Helmut G.: Managers versus monitors. Erscheint in Proceedings of the Sixth IFIP Congress (1977)"},{"key":"6_CR7","series-title":"Lecture Notes in Economics an Methematical Systems","first-page":"208","volume-title":"Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem","author":"K Lagally","year":"1972","unstructured":"Lagally, K.: Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem. Lecture Notes in Economics an Methematical Systems 78, Berlin, Heidelberg, New York: Springer 973, p. 208\u2013213(1972)"},{"key":"6_CR8","series-title":"Institut f\u00fcr Informatik der TU M\u00fcnchen, Bericht Nr. 7509","volume-title":"Das Projekt Betriebssystem BSM","year":"1975","unstructured":"Lagally, K. (ed): Das Projekt Betriebssystem BSM. Institut f\u00fcr Informatik der TU M\u00fcnchen, Bericht Nr. 7509 (1975)"},{"key":"6_CR9","first-page":"437","volume-title":"Protection. Proc. Fifth Princeton Symposion on Information Sciences and Systems","author":"BW Lampson","year":"1971","unstructured":"Lampson, Butler W.: Protection. Proc. Fifth Princeton Symposion on Information Sciences and Systems, Princeton University, p. 437\u2013443, reprinted in Operating Systems Review, 8, 1, January 1974, p. 18\u201324 (1971)"},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, David L.: A technique for software module specification with examples. Comm. ACM 15, 5, p. 330\u2013336 (1972)","journal-title":"Comm. ACM"},{"issue":"6","key":"6_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/800027.808467","volume":"10","author":"B Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. Proc. International Conf. on Reliable Software, SIGPLAN Notices 10, 6, p. 437\u2013449 (1975)","journal-title":"Proc. International Conf. on Reliable Software, SIGPLAN Notices"},{"issue":"6","key":"6_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/800027.808449","volume":"10","author":"L Robinson","year":"1975","unstructured":"Robinson, L., Levitt, K.N., Neumann, P.G., Saxena, A.R.: On attaining reliable software for a secure operating system. Proc. International Conf. on Reliable Software, Sigplan Notices 10, 6, p.267\u2013284 (1975)","journal-title":"Proc. International Conf. on Reliable Software, Sigplan Notices"}],"container-title":["GI \u2014 7. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-48908-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:09:20Z","timestamp":1620126560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-48908-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540084259","9783642489082"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-48908-2_6","relation":{},"subject":[],"published":{"date-parts":[[1977]]}}}