{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:51:49Z","timestamp":1743079909586,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540921875"},{"type":"electronic","value":"9783540921882"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92188-2_6","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T04:00:21Z","timestamp":1228276821000},"page":"133-152","source":"Crossref","is-referenced-by-count":1,"title":["Active Objects and Distributed Components: Theory and Implementation"],"prefix":"10.1007","author":[{"given":"Denis","family":"Caromel","sequence":"first","affiliation":[]},{"given":"Ludovic","family":"Henrio","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","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)"},{"issue":"10","key":"6_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/323648.323743","volume":"21","author":"G. Agha","year":"1986","unstructured":"Agha, G.: An overview of actor languages. ACM SIGPLAN Notices\u00a021(10), 58\u201367 (1986)","journal-title":"ACM SIGPLAN Notices"},{"key":"6_CR3","volume-title":"Proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007)","author":"S. Ahumada","year":"2007","unstructured":"Ahumada, S., Apvrille, L., Barros, T., Cansado, A., Madelaine, E., Salageanu, E.: Specifying Fractal and GCM Components With UML. In: Proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007). IEEE, Los Alamitos (2007)"},{"key":"6_CR4","volume-title":"Finite transition systems. Semantics of communicating sytems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite transition systems. Semantics of communicating sytems. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"6_CR5","volume-title":"Grid Computing: Software Environments and Tools","author":"L. Baduel","year":"2005","unstructured":"Baduel, L., Baude, F., Caromel, D., Contes, A., Huet, F., Morel, M., Quilici, R.: Programming, Composing, Deploying, for the Grid. In: Grid Computing: Software Environments and Tools. Springer, Heidelberg (2005)"},{"key":"6_CR6","unstructured":"Barros, T., Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed Fractal components. Annals of Telecommunications (to appear, 2008); Research Report INRIA RR-6491, \n                    \n                      https:\/\/hal.inria.fr\/inria-00268965"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30232-2_4","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"T. Barros","year":"2004","unstructured":"Barros, T., Boulifa, R., Madelaine, E.: Parameterized models for distributed java objects. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 43\u201360. Springer, Heidelberg (2004)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Barros, T., Cansado, A., Madelaine, E., Rivera, M.: Model checking distributed components: The Vercors platform. In: 3rd workshop on Formal Aspects of Component Systems, Prague, Czech Republic, ENTCS (September 2006)","DOI":"10.1016\/j.entcs.2006.09.028"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/11537328_14","volume-title":"Model Checking Software","author":"T. Barros","year":"2005","unstructured":"Barros, T., Henrio, L., Madelaine, E.: Behavioural models for hierarchical components. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 154\u2013168. Springer, Heidelberg (2005)"},{"key":"6_CR10","unstructured":"Barros, T., Henrio, L., Madelaine, E.: Verification of distributed hierarchical components. In: International Workshop on Formal Aspects of Component Software (FACS 2005). Macao, ENTCS (October 2005)"},{"key":"6_CR11","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 (to appear, 2008)","DOI":"10.1007\/s12243-008-0068-8"},{"issue":"11-12","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The fractal component model and its support in java. Softw., Pract. Exper.\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Softw., Pract. Exper."},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85289-6_16","volume-title":"The Common Component Modeling Example","author":"A. Cansado","year":"2008","unstructured":"Cansado, A., Caromel, D., Henrio, L., Madelaine, E., Rivera, M., Salageanu, E.: A Specification Language for Distributed Components Implemented in GCM\/ProActive. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008), \n                    \n                      http:\/\/agrausch.informatik.uni-kl.de\/CoCoME"},{"key":"6_CR14","unstructured":"Cansado, A., Henrio, L., Madelaine, E.: Transparent First-class Futures and Distributed Components. In: 5th workshop on Formal Aspects of Component Systems, Malaga, Spain, ENTCS (September 2008)"},{"key":"6_CR15","unstructured":"Cansado, A., Henrio, L., Madelaine, E.: Unifying Architectural and Behavioural Specifications of Distributed Components. In: 5rd workshop on Formal Aspects of Component Systems, Malaga, Spain, ENTCS (September 2008)"},{"key":"6_CR16","volume-title":"A Theory of Distributed Object","author":"D. Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Object. Springer, Heidelberg (2005)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/964001.964012","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT 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 SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 123\u2013134. ACM Press, New York (2004)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1094811.1094852","volume-title":"OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp. 519\u2013538. ACM, New York (2005)"},{"key":"6_CR19","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":"6_CR20","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.\u00a04067, pp. 230\u2013254. Springer, Heidelberg (2006)"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003329","volume":"9","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and an application. Journal of Functional Programming\u00a09(1), 1\u201331 (1999)","journal-title":"Journal of Functional Programming"},{"key":"6_CR22","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"key":"6_CR23","first-page":"74","volume":"17","author":"A.D. Gordon","year":"1997","unstructured":"Gordon, A.D., Hankin, P.D., Lassen, S.B.: Compilation and equivalence of imperative objects. FSTTCS: Foundations of Software Technology and Theoretical Computer Science\u00a017, 74\u201387 (1997)","journal-title":"FSTTCS: Foundations of Software Technology and Theoretical Computer Science"},{"issue":"4","key":"6_CR24","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":"1\u20132","key":"6_CR25","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 type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1\u20132), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR26","first-page":"471","volume-title":"Information Processing 1974: Proceedings of the IFIP Congress","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing 1974: Proceedings of the IFIP Congress, pp. 471\u2013475. North-Holland, New York (1974)"},{"key":"6_CR27","first-page":"358","volume-title":"Conference Record of the 23rd ACM SIGACT-SIGPLAN (POPL 1996)","author":"N. Kobayashi","year":"1996","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. In: Conference Record of the 23rd ACM SIGACT-SIGPLAN (POPL 1996), St. Petersburg, Florida, January 21\u201324, pp. 358\u2013371. ACM Press, New York (1996)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BFb0014474","volume-title":"CONCUR 1996: Concurrency Theory","author":"H. Lin","year":"1996","unstructured":"Lin, H.: Symbolic transition graph with assignment. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 26\u201329. Springer, Heidelberg (1996)"},{"issue":"3","key":"6_CR29","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":"6_CR30","unstructured":"OASIS team and other partners in the CoreGRID Programming Model Virtual Institute. Innovative features of gcm (with sample case studies): a technical survey. Technical report, Deliverable D.PM.07 (September 2007)"},{"key":"6_CR31","first-page":"55","volume-title":"Object-Oriented Concurrent Programming","author":"A. Yonezawa","year":"1987","unstructured":"Yonezawa, A., Shibayama, E., Takada, T., Honda, Y.: Modelling and programming in an object-oriented concurrent language ABCL\/1. In: Yonezawa, A., Tokoro, M. (eds.) Object-Oriented Concurrent Programming, pp. 55\u201389. MIT Press, Cambridge (1987)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92188-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:52:01Z","timestamp":1558266721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921875","9783540921882"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92188-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}