{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:15Z","timestamp":1725627615805},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540103882"},{"type":"electronic","value":"9783642678387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67838-7_24","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:29Z","timestamp":1320229169000},"page":"277-291","source":"Crossref","is-referenced-by-count":0,"title":["Synchronization and Protection Features for Data Abstraction"],"prefix":"10.1007","author":[{"given":"D.","family":"Herman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Raynal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"1053","volume":"15","author":"DL Parnas","year":"1972","unstructured":"D.L. Parnas, \u201cOn the Criteria to be Used in Decomposing Systems into Modules\u201d, Commun. Ass. Comput. Mach., vol. 15, pp. 1053\u20131058, December 1972.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR2","first-page":"564","volume":"20","author":"B Liskov","year":"1977","unstructured":"B. Liskov, A. Snydern, R. Atkinson, C. Schaffert, \u201cAbstraction Mechanisms in CLU\u201d, Commun. Ass. Comput. Mach., vol. 20, pp. 564\u2013576, August 1977.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR3","first-page":"143","volume":"9","author":"JB Dennis","year":"1966","unstructured":"J.B. Dennis and E.C. Van Horn, \u201cProgramming Semantics for Multiprogrammed Computations\u201d, Commun. Ass. Comput. Mach., vol. 9, pp. 143\u2013155, March 1966.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR4","first-page":"540","volume":"20","author":"M Geschke","year":"1977","unstructured":"M. Geschke, J.H. Morris and E.H. Satterwaite, \u201cEarly Experience with MESA\u201d, Commun. Ass. Comput. Mach., vol. 20, pp. 540\u2013552, March 1977.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR5","first-page":"577","volume":"20","author":"N Wirth","year":"1977","unstructured":"N. Wirth, \u201cTowards a Discipline of Real-Time Programming\u201d, Commun. Ass. Comput. Mach., vol. 20, pp. 577\u2013584, August 1977.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR6","first-page":"93","volume-title":"Proc. on aspects theoriques et pratiques des syst\u00e8mes","author":"RH Campbell","year":"1974","unstructured":"R.H. Campbell, \u201cThe Specification of Process synchronization by Path Expressions\u201d, in Proc. on aspects theoriques et pratiques des syst\u00e8mes, Rocquencourt, Ed. by IRIA, pp. 93\u2013106, April 1974."},{"key":"24_CR7","first-page":"981","volume-title":"1977 IFIP Congress Froc","author":"P Robert","year":"1977","unstructured":"P. Robert and J.P. Verjus, \u201cTowards Autonomous Descriptions of Synchronization Modules\u201d, in 1977 IFIP Congress Froc, B. Gilchrist Ed., North-Holland, pp. 981\u2013986, August 1977."},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/TSE.1976.233833","volume":"SE2","author":"AK Jones","year":"1976","unstructured":"A.K. Jones and B. Liskov, \u201cA Language Extension for controlling Access to shared Data\u201d, IEEE Trans. Soft. Eng., vol. SE2, pp. 277\u2013285, December 1976.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"24_CR9","series-title":"AFIPS Conf. Proc","first-page":"27","volume-title":"1969 Fall Joint Comput. Conf","author":"BW Lampson","year":"1969","unstructured":"B.W. Lampson, \u201cDynamic Protection Structures\u201d, in 1969 Fall Joint Comput. Conf., AFIPS Conf. Proc., vol. 35, Montvale, NJ.: AFIPS Press, 1969, pp. 27\u201338."},{"key":"24_CR10","series-title":"AFIPS Conf. Proc","first-page":"571","volume-title":"1972 Fall Joint Comput. Conf","author":"RM Needham","year":"1972","unstructured":"R.M. Needham, \u201cProtection Systems and Protection Implementations\u201d, in 1972 Fall Joint Comput. Conf., AFIPS Conf. Proc., vol. 41, Montvale, NJ: AFIPS Press, 1972., pp. 571\u2013578."},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"SE2","author":"WA Wulf","year":"1976","unstructured":"W.A. Wulf, R.L. London and M. Shaw, \u201cAn Introduction to the Construction and Verification of ALPHARD Program\u201d, IEEE Trans. Soft. Eng., vol. SE2, pp. 253\u2013265, December 1976.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"24_CR12","series-title":"Tech. Rep","volume-title":"SIMULA 67 a Common Base Language","author":"OJ Dahl","year":"1969","unstructured":"O.J. Dahl, B. Myrhaug and K. Nyggard, \u201cSIMULA 67 a Common Base Language\u201d, Tech. Rep. 22, Norvegian Computing Center, 1969."},{"key":"24_CR13","first-page":"337","volume":"17","author":"W Wulf","year":"1974","unstructured":"W. Wulf, E. Cohen, A. Corwin, A. Jones, R. Levin, C. Pierson and F. Pollack, \u201cHYDRA: The Kernel of a Multiprocessor Operating System\u201d, Commun. Ass. Comput. Mach., vol. 17, pp. 337\u2013345, June 1974.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR14","first-page":"63","volume-title":"Proo. int. workshop on protection in operating systems","author":"DM England","year":"1974","unstructured":"D.M. England, \u201cCapability Concept Mechanisms and Structure in System 250\u201d, in Proo. int. workshop on protection in operating systems, Rocquencourt: France, Ed. by IRIA, pp. 63\u201382, August 1974."},{"key":"24_CR15","volume-title":"Operating System Principles","author":"PB Hansen","year":"1973","unstructured":"P. Brinch Hansen, Operating System Principles. Englewood Cliffs, NJ: Prentice Hall, July 1973."},{"key":"24_CR16","first-page":"549","volume":"17","author":"CAR Hoare","year":"1974","unstructured":"C.A.R. Hoare, \u201cMonitors: An Operating System Structuring Concept\u201d, Commun. Ass. Comput. Mach., vol. 17, pp. 549\u2013557, October 1974.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR17","first-page":"667","volume":"14","author":"PJ Courtois","year":"1971","unstructured":"P.J. Courtois, F. Heymans and D.L. Parnas, \u201cConcurrent Control with Readers and Writers\u201d, Commun. Ass. Comput. Mach., vol. 14, pp. 667\u2013668, October 1971.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/356643.356646","volume":"7","author":"L Presser","year":"1975","unstructured":"L. Presser, \u201cMultiprogramming Coordination\u201d, Comput. Surveys, vol. 7, pp. 21\u201344, 1975.","journal-title":"Comput. Surveys"},{"key":"24_CR19","first-page":"500","volume":"20","author":"JLW Kessels","year":"1977","unstructured":"J.L.W. Kessels, \u201cAn Alternative to Event Queues for Synchronization in Monitors\u201d, Commun. Ass. Comput. Mach., vol. 20, pp. 500\u2013503, July 1977.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"24_CR20","volume-title":"Synchronization with Eventcounts and Sequencers","author":"DP Reed","year":"1977","unstructured":"D.P. Reed and R.K. Kanodia, \u201cSynchronization with Eventcounts and Sequencers\u201d, Proc. 6th int. ACM Conf. on O.S. Principles, Purdue University, November 1977."},{"key":"24_CR21","volume-title":"Pr\u00e9sentation et \u00e9valuation du projet Syst\u00e8mes d\u2019Objets Conserv\u00e9s","author":"M Ban\u00e2tre","year":"1978","unstructured":"M. Ban\u00e2tre, A. Couvert, D. Herman and M. Raynal, \u201cPr\u00e9sentation et \u00e9valuation du projet Syst\u00e8mes d\u2019Objets Conserv\u00e9s\u201d, Proc. AFCET Congress, Paris, November 1978."},{"key":"24_CR22","unstructured":"M. Raynal, \u201cUne Expression de la Synchronisation pour les Types Abstraits\u201d, RAIRO Informatique\/Computer Sciences, vol. 12, December 1978."},{"key":"24_CR23","first-page":"869","volume-title":"1977 Congress Proc","author":"AK Jones","year":"1977","unstructured":"A.K. Jones, \u201cThe Narrowing Gap between Language Systems and Operating\u201d, in 1977 Congress Proc, B. Gilchrist Ed., North-Holland, pp. 869\u2013873, August 1977."},{"key":"24_CR24","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1109\/TSE.1978.233870","volume":"SE4","author":"RB Kieburtz","year":"1978","unstructured":"R.B. Kieburtz and A. Silberschatz, \u201cCapability Managers\u201d, IEEE Trans. Soft. Eng., vol. SE4, pp. 467\u2013477, November 1978.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1979.234148","volume":"SE5","author":"JR McGraw","year":"1979","unstructured":"J.R. McGraw and G.R. Andrews, \u201cAccess Control in Parallel Programs\u201d, IEEE Trans. Soft. Eng., vol. SE5, pp. 1\u20139, January 1979.","journal-title":"IEEE Trans. Soft. Eng."}],"container-title":["Informatik-Fachberichte","GI - 10. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67838-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:09:49Z","timestamp":1606255789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67838-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540103882","9783642678387"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67838-7_24","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}