{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:15:38Z","timestamp":1749010538963,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_14","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"227-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Interference-Free Programming Model for Network Objects"],"prefix":"10.1007","author":[{"given":"Mischael","family":"Schill","sequence":"first","affiliation":[]},{"given":"Christopher M.","family":"Poskitt","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"14_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. MIT Press, Cambridge (1986)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Birrell, A., Nelson, G., Owicki, S.S., Wobber, E.: Network objects. In: Proceedings of SOSP 1993, pp. 217\u2013230. ACM (1993)","DOI":"10.1145\/173668.168637"},{"key":"14_CR3","unstructured":"Birrell, A., et al.: Distributed garbage collection for network objects. Technical report, Systems Research Center (1993)"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.ic.2008.12.004","volume":"207","author":"D Caromel","year":"2009","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous sequential processes. Inf. Comput. 207(4), 459\u2013495 (2009)","journal-title":"Inf. Comput."},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-662-49665-7_3","volume-title":"Fundamental Approaches to Software Engineering","author":"C Corrodi","year":"2016","unstructured":"Corrodi, C., Heu\u00dfner, A., Poskitt, C.M.: A graph-based semantics workbench for concurrent asynchronous programs. In: Stevens, P., et al. (eds.) FASE 2016. LNCS, vol. 9633, pp. 31\u201348. Springer, Heidelberg (2016)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11785477_16","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"J Dedecker","year":"2006","unstructured":"Dedecker, J., Van Cutsem, T., Mostinckx, S., D\u2019Hondt, T., De Meuter, W.: Ambient-oriented programming in AmbientTalk. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 230\u2013254. Springer, Heidelberg (2006)"},{"key":"14_CR7","unstructured":"Distributed SCOOP website. http:\/\/cme.ethz.ch\/scoop\/dscoop\/"},{"key":"14_CR8","unstructured":"Eiffel Documentation: Concurrent Eiffel with SCOOP. https:\/\/www.eiffel.org\/doc\/solutions\/Concurrent%20programming%20with%20SCOOP . Accessed April 2016"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.scico.2006.05.007","volume":"63","author":"P Eugster","year":"2006","unstructured":"Eugster, P., Vaucouleur, S.: Composing atomic features. Sci. Comput. Program. 63(2), 130\u2013146 (2006)","journal-title":"Sci. Comput. Program."},{"key":"14_CR10","unstructured":"Grand Central Dispatch (GCD) Reference. https:\/\/developer.apple.com\/library\/mac\/documentation\/Performance\/Reference\/GCD_libdispatch_Ref\/index.html . Accessed April 2016"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-38493-6_7","volume-title":"Coordination Models and Languages","author":"L Henrio","year":"2013","unstructured":"Henrio, L., Huet, F., Istv\u00e1n, Z.: Multi-threaded active objects. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 90\u2013104. Springer, Heidelberg (2013)"},{"issue":"1\u20132","key":"14_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"EB Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: a type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1\u20132), 23\u201366 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR13","first-page":"89","volume":"243","author":"EB Johnsen","year":"2009","unstructured":"Johnsen, E.B., Blanchette, J.C., Kyas, M., Owe, O.: Intra-object versus inter-object: concurrency and reasoning in Creol. Proc. TTSS 2008. ENTCS 243, 89\u2013103 (2009)","journal-title":"Proc. TTSS 2008. ENTCS"},{"key":"14_CR14","unstructured":"Lavender, R.G., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. In: Vlissides, J.M., Coplien, J.O., Kerth, N.L. (eds.) Pattern Languages of Program Design, vol. 2, pp. 483\u2013499. Addison-Wesley (1996)"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B Liskov","year":"1988","unstructured":"Liskov, B.: Distributed programming in Argus. Commun. ACM (CACM) 31(3), 300\u2013312 (1988)","journal-title":"Commun. ACM (CACM)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11580850_12","volume-title":"Trustworthy Global Computing","author":"MS Miller","year":"2005","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.S.: Concurrency among strangers. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 195\u2013229. Springer, Heidelberg (2005)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Morandi, B., Schill, M., Nanz, S., Meyer, B.: Prototyping a concurrency model. In: Proceedings of ACSD 2013, pp. 170\u2013179. IEEE (2013)","DOI":"10.1109\/ACSD.2013.21"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-662-43376-8_7","volume-title":"Coordination Models and Languages","author":"B Morandi","year":"2014","unstructured":"Morandi, B., Nanz, S., Meyer, B.: Safe and efficient data sharing for message-passing concurrency. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 99\u2013114. Springer, Heidelberg (2014)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Nanz, S., Torshizi, F., Pedroni, M., Meyer, B.: Design of an empirical study for comparing the usability of concurrent programming languages. In: Proceedings of ESEM 2011, pp. 325\u2013334. IEEE Computer Society (2011)","DOI":"10.1109\/ESEM.2011.41"},{"key":"14_CR20","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. Doctoral dissertation, ETH Z\u00fcrich (2007)"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-39955-8_4","volume-title":"Multicore Software Engineering, Performance, and Tools","author":"M Schill","year":"2013","unstructured":"Schill, M., Nanz, S., Meyer, B.: Handling parallelism in a concurrency model. In: Louren\u00e7o, J.M., Farchi, E. (eds.) MUSEPAT 2013 2013. LNCS, vol. 8063, pp. 37\u201348. Springer, Heidelberg (2013)"},{"issue":"2","key":"14_CR23","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. Distributed Comput. 10(2), 99\u2013116 (1997)","journal-title":"Distributed Comput."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Torshizi, F.A., Ostroff, J.S., Paige, R.F., Chechik, M.: The SCOOP concurrency model in Java-like languages. In: Proceedings of CPA 2009. Concurrent Systems Engineering Series, vol. 67, pp. 7\u201327. IOS Press (2009)","DOI":"10.3233\/978-1-60750-065-0-7"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"West, S., Nanz, S., Meyer, B.: Efficient and reasonable object-oriented concurrency. In: Proceedings of ESEC\/FSE 2015, pp. 734\u2013744. ACM (2015)","DOI":"10.1145\/2688500.2688545"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:11:32Z","timestamp":1748977892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}