{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:29Z","timestamp":1725662849085},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540087557"},{"type":"electronic","value":"9783540358800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08755-9_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:33:02Z","timestamp":1330187582000},"page":"252-281","source":"Crossref","is-referenced-by-count":1,"title":["Synchronization in a layered system"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Lagally","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00264467","volume":"8","author":"T. Agerwala","year":"1977","unstructured":"Agerwala, T.: Some Extended Semaphore Primitives, Acta Informatica 8, 201\u2013220 (1977)","journal-title":"Acta Informatica"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/362258.362278","volume":"13","author":"P. Brinch Hansen","year":"1970","unstructured":"Brinch Hansen, P.: The Nucleus of a Multiprogramming System. CACM 13, 238\u2013241 (1970)","journal-title":"CACM"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"P. Brinch Hansen","year":"1972","unstructured":"Brinch Hansen, P.: Structured Multiprogramming, CACM 15, 574\u2013578 (1972)","journal-title":"CACM"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/BF00288684","volume":"1","author":"P. Brinch Hansen","year":"1972","unstructured":"Brinch Hansen, P.: A Comparison of Two Synchronizing Concepts. Acta Informatica 1, 190\u2013199 (1972)","journal-title":"Acta Informatica"},{"key":"7_CR5","unstructured":"Brinch Hansen, P.:Operating System Principles, Englewood Cliffs (N.J.): Prentice Hall 1973"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00264031","volume":"2","author":"P. Brinch Hansen","year":"1973","unstructured":"Brinch Hansen, P.: A Reply to Comments on \"A omparison of Two Synchronizing Concepts\", Acta Informatica 2, 189\u2013190 (1973)","journal-title":"Acta Informatica"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"SE-1","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P.: The Programming Language Concurrent Pascal, IEEE Trans. Software Eng. SE-1, 199\u2013207 (1975)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1002\/spe.4380060202","volume":"6","author":"P. Brinch Hansen","year":"1976","unstructured":"Brinch Hansen, P.: The SOLO Operating System, Software-Practice and Experience 6, 141\u2013205 (1976)","journal-title":"Software-Practice and Experience"},{"key":"7_CR9","first-page":"159","volume-title":"\"A Semantic Approach to the Theory of Parallel Processes\", Proc. ICS 1973","author":"G. Belpaire","year":"1974","unstructured":"Belpaire, G. and J.P. Wilmotte: \"A Semantic Approach to the Theory of Parallel Processes\", Proc. ICS 1973, North Holland Publishing Co., Amsterdam 1974, p. 159\u2013164"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"R. H. Campbell","year":"1974","unstructured":"Campbell, R.H. and A.N. Habermann: The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science 16, 89\u2013102 (1974)","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"Courtois, P.J., F. Heymans and D.L. Parnas: Concurrent Control with \"Readers\" and \"Writers\", CACM 14, 667\u2013668 (1971)","journal-title":"CACM"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00289516","volume":"1","author":"P. J. Courtois","year":"1972","unstructured":"Courtois, P.J., F. Heymans and D.L. Parnas: Comments on \"A Comparison of Two Synchronizing Concepts\" by P.B. Hansen, Acta Informatica 1, 375\u2013376 (1972)","journal-title":"Acta Informatica"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00271342","volume":"8","author":"R. Conradi","year":"1977","unstructured":"Conradi, R.: Some Comments on \"Concurrent Readers and Writers\", Acta Informatica 8, 335\u2013340 (1977)","journal-title":"Acta Informatica"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: The Structure of the \"THE\"-Multiprogramming System, CACM 11, 341\u2013346 (1968)","journal-title":"CACM"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E. W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical Ordering of Sequential Processes, Acta Informatica 1, 115\u2013138 (1971)","journal-title":"Acta Informatica"},{"key":"7_CR16","unstructured":"Dahl, O.J., B. Myhrhaug and K. Nygaard: The Simula 67 Common Base Language, Norwegian Computing Centre, Forskningsveien 1B, Oslo 3"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K. P. Eswaran","year":"1976","unstructured":"Eswaran, K.P., J.N. Gray, R.A. Lorie and I.L. Traiger: The Notions of Consistency and Predicate Locks in a Data Base System, CACM 19, 624\u2013633 (1976)","journal-title":"CACM"},{"issue":"4","key":"7_CR18","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/850648.850649","volume":"11","author":"A. J. Gerber","year":"1977","unstructured":"Gerber, A.J.: Process Synchronization by Counter Variables, ACM Operating Systems Review 11\/4, 6\u201317 (1977)","journal-title":"ACM Operating Systems Review"},{"key":"7_CR19","unstructured":"Goos, G., J. J\u00fcrgens and K. Lagally: The Operating System BSM viewed as a Community of Parallel Processes, Report 7208, Rechenzentrum TU M\u00fcnchen, 1972"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Habermann, A.N.: Path Expressions, Carnegie-Mellon University, 1975","DOI":"10.21236\/ADA015842"},{"key":"7_CR21","unstructured":"Habermann, A.N.: Personal Communication"},{"issue":"4","key":"7_CR22","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/850648.850650","volume":"11","author":"B. K. Haddon","year":"1977","unstructured":"Haddon, B.K.: Nested Monitor Calls, ACM Operating Systems Review 11\/4, 18\u201323 (1977)","journal-title":"ACM Operating Systems Review"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"2974","unstructured":"Hoare, C.A.R.: Monitors: An Operating System Structuring Concept, CACM 17, 549\u2013557 (2974)","journal-title":"CACM"},{"key":"7_CR24","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356612.356614","volume":"5","author":"J. J. Horning","year":"1973","unstructured":"Horning, J.J. and B. Randell: Process Structuring, Comp. Surveys 5, 5\u201330 (1973)","journal-title":"Comp. Surveys"},{"key":"7_CR25","first-page":"827","volume-title":"Managers versus Monitors. Proceedings of IFIP Congress 1977","author":"A. J. Jammel","year":"1977","unstructured":"Jammel, A.J. and H.G. Stiegler: Managers versus Monitors. Proceedings of IFIP Congress 1977. North Holland Publishing Co., Amsterdam 1977, p. 827\u2013830"},{"key":"7_CR26","volume-title":"Synchronisation paralleler Prozesse anhand von Zust\u00e4nden","author":"J. J\u00fcrgens","year":"1973","unstructured":"J\u00fcrgens, J.: Synchronisation paralleler Prozesse anhand von Zust\u00e4nden, Dissertation, TU M\u00fcnchen, 1973"},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1145\/359636.359710","volume":"20","author":"J. L. W. W. Kessels","year":"1977","unstructured":"Kessels, J.L.W.: An Alternative to Event Queues for Synchronization in Monitors, CACM 20, 500\u2013503 (1977)","journal-title":"CACM"},{"volume-title":"Das Projekt Betriebssystem BSM, Report 7509","year":"1975","key":"7_CR28","unstructured":"Lagally, K. (ed.): Das Projekt Betriebssystem BSM, Report 7509, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1975"},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF00265219","volume":"7","author":"L. Lamport","year":"1975","unstructured":"Lamport, L.: The Synchronization of Independent Process, Acta Informatica 7, 15\u201334 (1975)","journal-title":"Acta Informatica"},{"issue":"3","key":"7_CR30","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/850644.850645","volume":"11","author":"A. Lister","year":"1977","unstructured":"Lister, A.: The Problem of Nested Monitor Calls, ACM Operating Systems Review 11\/3, 5\u20137 (1977)","journal-title":"ACM Operating Systems Review"},{"key":"7_CR31","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1002\/spe.4380070506","volume":"7","author":"A. M. Lister","year":"1977","unstructured":"Lister, A.M. and P.J. Sayer: Hierarchical Monitors, Software-Practice and Experience 7, 613\u2013623 (1977)","journal-title":"Software-Practice and Experience"},{"issue":"5","key":"7_CR32","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/1067625.806550","volume":"11","author":"D. P. Reed","year":"1977","unstructured":"Reed, D.P. and R.K. Kanodia: Synchronization with Event Counts and Sequencers, CACM (to appear); ACM Operating Systems Review 11\/5, 91 (1977) (Abstract)","journal-title":"ACM Operating Systems Review"},{"key":"7_CR33","first-page":"981","volume-title":"Toward Autonomous Descriptions of Synchronization Modules, Proceedings of IFIP-Congress 1977","author":"P. Robert","year":"1977","unstructured":"Robert, P. and J.P. Verjus: Toward Autonomous Descriptions of Synchronization Modules, Proceedings of IFIP-Congress 1977, North Holland Publishing Co., Amsterdam 1977, p. 981\u2013986"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00288656","volume":"6","author":"H. A. Schmid","year":"1976","unstructured":"Schmid, H.A.: On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors, Acta Informatica 6, 227\u2013249 (1976)","journal-title":"Acta Informatica"},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: The Programming Language PASCAL, Acta Informatica 1, 35\u201363 (1971).","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Operating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08755-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:53:28Z","timestamp":1619556808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08755-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540087557","9783540358800"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-08755-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}