{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:49Z","timestamp":1725562609285},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_15","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"317-341","source":"Crossref","is-referenced-by-count":5,"title":["Sequential Object Monitors"],"prefix":"10.1007","author":[{"given":"Denis","family":"Caromel","sequence":"first","affiliation":[]},{"given":"Luis","family":"Mateu","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Tanter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: ACTORS: a model of concurrent computation in distributed systems. The MIT Press, Cambridge (1986)"},{"key":"15_CR2","series-title":"ACM SIGPLAN Notices","volume-title":"Proceedings of the OOPSLA\/ECOOP 1990 Conference on Object-Oriented Programming Systems, Languages and Applications","author":"P.H.M. America","year":"1990","unstructured":"America, P.H.M., Van Der Linden, F.: A parallel object-oriented language with inheritance and subtyping. In: Meyrowitz, N. (ed.) Proceedings of the OOPSLA\/ECOOP 1990 Conference on Object-Oriented Programming Systems, Languages and Applications, October 1990. ACM SIGPLAN Notices, vol.\u00a025(10), ACM Press, New York (1990)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Maio, A.D., Bayan, R.: Dragoon: An object-oriented notation supporting the reuse and distribution of ada software. In: International Workshop on Real-Time Ada Issues (1990)","DOI":"10.1145\/102454.102470"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for c ${}^{\\sharp}$ . In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 415. Springer, Heidelberg (2002)"},{"key":"15_CR5","unstructured":"Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula Begin. Petrocelli Charter (1973)"},{"issue":"7","key":"15_CR6","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"P.B. Hansen","year":"1972","unstructured":"Hansen, P.B.: Structured multiprogramming. Communications of the ACM\u00a015(7), 574\u2013578 (1972)","journal-title":"Communications of the ACM"},{"key":"15_CR7","first-page":"394","volume-title":"Proceedings of the IFIP Congress 1974","author":"P.B. Hansen","year":"1974","unstructured":"Hansen, P.B.: A programming methodology for operating system design. In: Proceedings of the IFIP Congress 1974, August 1974, pp. 394\u2013397. North-Holland, Amsterdam (1974)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/155360.155361","volume":"28","author":"P.B. Hansen","year":"1993","unstructured":"Hansen, P.B.: Monitors and concurrent pascal, a personal history. ACM SIGPLAN Notices\u00a028(3), 1\u201335 (1993)","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/292469.292470","volume":"30","author":"J.-P. Briot","year":"1998","unstructured":"Briot, J.-P., Guerraoui, R., L\u00f6hr, K.-P.: Concurrency and distribution in object-oriented programming. ACM Computing Surveys\u00a030(3), 291\u2013329 (1998)","journal-title":"ACM Computing Surveys"},{"issue":"9","key":"15_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/162685.162711","volume":"36","author":"D. Caromel","year":"1993","unstructured":"Caromel, D.: Towards a method of object-oriented concurrent programming. Communications of the ACM\u00a036(9), 90\u2013102 (1993)","journal-title":"Communications of the ACM"},{"issue":"11-13","key":"15_CR11","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<1043::AID-CPE413>3.0.CO;2-6","volume":"10","author":"D. Caromel","year":"1998","unstructured":"Caromel, D., Klauser, W., Vayssi\u00e8re, J.: Towards seamless computing and metacomputing in Java. Concurrency Practice and Experience\u00a010(11-13), 1043\u20131061 (1998)","journal-title":"Concurrency Practice and Experience"},{"issue":"5","key":"15_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: The structure of THE - multiprogramming system. Communications of the ACM\u00a011(5), 341\u2013346 (1968)","journal-title":"Communications of the ACM"},{"issue":"8","key":"15_CR13","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Communications of the ACM"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proceedings of POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of POPL 1996, January 1996, pp. 372\u2013385. ACM, New York (1996)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-47910-4_18","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"S. Frolund","year":"1993","unstructured":"Frolund, S., Agha, G.: A language framework for multi-object coordination. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 346\u2013360. Springer, Heidelberg (1993)"},{"issue":"10","key":"15_CR16","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: An operating system structuring concept. Communications of the ACM\u00a017(10), 549\u2013577 (1974)","journal-title":"Communications of the ACM"},{"issue":"8","key":"15_CR17","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1002\/spe.4380060307","volume":"6","author":"W.H. Kaubisch","year":"1976","unstructured":"Kaubisch, W.H., Perrott, R.H., Hoare, C.A.R.: Quasi-parallel programming. Software: Practice and Experience\u00a06(3), 341\u2013356 (1976)","journal-title":"Software: Practice and Experience"},{"key":"15_CR19","volume-title":"Concurrent Programming in Java, Design Principles and Patterns","author":"D. Lea","year":"1997","unstructured":"Lea, D.: Concurrent Programming in Java, Design Principles and Patterns. Addison Wesley, Reading (1997)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Lea, D.: A Java fork\/join framework. In: Proceedings of the ACM 2000 Conference on Java Grande, San Francisco, California, USA, pp. 36\u201343 (2000)","DOI":"10.1145\/337449.337465"},{"key":"15_CR21","unstructured":"Lea, D.: Java Specification Request 166: Concurrency utilities (2003), http:\/\/www.jcp.org\/en\/jsr\/detail?id=166"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46425-5_1","volume-title":"Programming Languages and Systems","author":"M. Odersky","year":"2000","unstructured":"Odersky, M.: Functional nets. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, pp. 1\u201325. Springer, Heidelberg (2000)"},{"key":"15_CR23","unstructured":"Sun Microsystems, Inc. The producer\/consumer example, from Java tutorials (2003), http:\/\/java.sun.com\/docs\/books\/tutorial\/essential\/threads"},{"key":"15_CR24","series-title":"ACM SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/949305.949309","volume-title":"Proceedings of the 18th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003)","author":"E. Tanter","year":"2003","unstructured":"Tanter, E., Noy\u00e9, J., Caromel, D., Cointe, P.: Partial behavioral reflection: Spatial and temporal selection of reification. In: Proceedings of the 18th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003), Anaheim, CA, USA, October 2003. ACM SIGPLAN Notices, vol.\u00a038(11), pp. 27\u201364. ACM Press, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:15:17Z","timestamp":1620011717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}