{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:28Z","timestamp":1742914228381,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041662"},{"type":"electronic","value":"9783642041679"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04167-9_9","type":"book-chapter","created":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T06:45:02Z","timestamp":1250664302000},"page":"159-179","source":"Crossref","is-referenced-by-count":8,"title":["An Asynchronous Distributed Component Model and Its Semantics"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Kamm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcela","family":"Rivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"CCA-Forum: The Common Component Architecture (CCA) Forum home page (2005), http:\/\/www.cca-forum.org\/"},{"key":"9_CR2","unstructured":"Object Management Group, Inc. (OMG): CORBA Component Model Specification. Omg headquarters edn. (April 2006), http:\/\/www.omg.org\/cgi-bin\/apps\/doc?formal\/06-04-01.pdf"},{"key":"9_CR3","unstructured":"Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O.: SCA service component architecture, assembly model specification. Technical report (March 2007), http:\/\/www.osoa.org\/display\/Main\/Service+Component+Architecture+Specifications"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., P\u00e9rez, C.: GCM: A Grid Extension to Fractal for Autonomous Distributed Components. Annals of Telecommunications (accepted for publication) (2008)","DOI":"10.1007\/s12243-008-0068-8"},{"key":"9_CR5","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: Recursive and dynamic software composition with sharing. In: Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, WCOP 2002 (2002)"},{"key":"9_CR6","volume-title":"A Theory of Distributed Objects","author":"D. Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, New York (2005)"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201372 (1997)","journal-title":"Journal of Functional Programming"},{"key":"#cr-split#-9_CR8.1","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., Briot, J.P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: Proceedings OOPSLA 1986, November 1986, pp. 258???268 (1986);","DOI":"10.1145\/28697.28722"},{"key":"#cr-split#-9_CR8.2","unstructured":"Published as ACM SIGPLAN Notices, 21"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R.H. Halstead Jr.","year":"1985","unstructured":"Halstead Jr., R.H.: Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a07(4), 501\u2013538 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.tcs.2006.08.016","volume":"364","author":"J. Niehren","year":"2006","unstructured":"Niehren, J., Schwinghammer, J., Smolka, G.: A concurrent lambda calculus with futures. Theoretical Computer Science\u00a0364(3), 338\u2013356 (2006)","journal-title":"Theoretical Computer Science"},{"key":"9_CR11","unstructured":"omg.org team: CORBA Component Model, V3.0 (2005), http:\/\/www.omg.org\/technology\/documents\/formal\/components.htm"},{"key":"9_CR12","unstructured":"OMG: Deployment and configuration of component-based distributed applications, v4.0. Document formal\/2006-04-02 Edition (April 2006)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/964001.964012","volume-title":"Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"D. Caromel","year":"2004","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 123\u2013134. ACM Press, New York (2004)"},{"key":"9_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)"},{"key":"9_CR15","first-page":"188","volume-title":"Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004)","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. In: Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004), pp. 188\u2013197. IEEE press, Los Alamitos (2004)"},{"issue":"1-2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: a types-safe object-oriented model for distributed concurrent systems. Journal of Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Journal of Theoretical Computer Science"},{"key":"9_CR17","unstructured":"Grabe, I., Steffen, M., Torjusen, A.B.: Executable interface specifications for testing asynchronous creol components. Technical Report Research Report No. 375, University of Oslo (July 2008)"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional reqriting logic as a unified model of concurrency. Journal of Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Journal of Theoretical Computer Science"},{"key":"9_CR19","unstructured":"Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University, UK (June 1981)"},{"key":"9_CR20","unstructured":"Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems - an introduction to focus. Technical Report TUM-I9202, Technische Univerit\u00e4t M\u00fcnchen (1992)"},{"issue":"1-2","key":"9_CR21","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rcos: A refinement calculus for object systems. Theoretical Computer Science\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theoretical Computer Science"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 191\u2013206. Springer, Heidelberg (2007)"},{"issue":"1","key":"9_CR23","doi-asserted-by":"publisher","first-page":"69","DOI":"10.12921\/cmst.2006.12.01.69-77","volume":"12","author":"D. Caromel","year":"2006","unstructured":"Caromel, D., Delb\u00e9, C., di Costanzo, A., Leyton, M.: ProActive: an integrated platform for programming and running applications on grids and P2P systems. Computational Methods in Science and Technology\u00a012(1), 69\u201377 (2006)","journal-title":"Computational Methods in Science and Technology"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A. Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The kell calculus: A family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 146\u2013178. Springer, Heidelberg (2005)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/11561347_26","volume-title":"Generative Programming and Component Engineering","author":"D. Hirschkoff","year":"2005","unstructured":"Hirschkoff, D., Hirschowitz, T., Pous, D., Schmitt, A., Stefani, J.-B.: Component-oriented programming with sharing: Containment is not ownership. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 389\u2013404. Springer, Heidelberg (2005)"},{"key":"9_CR26","unstructured":"Merle, P., Stefani, J.B.: A formal specification of the Fractal component model in Alloy. Research Report RR-6721, INRIA (2008)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1456190.1456201","volume-title":"CBHPC 2008: Proceedings of the 2008 compFrame\/HPC-GECO workshop on Component based high performance","author":"L. Henrio","year":"2008","unstructured":"Henrio, L., Rivera, M.: Stopping safely hierarchical distributed components: application to gcm. In: CBHPC 2008: Proceedings of the 2008 compFrame\/HPC-GECO workshop on Component based high performance, pp. 1\u201311. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04167-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:30:31Z","timestamp":1558477831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04167-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041662","9783642041679"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04167-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}