{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:24:41Z","timestamp":1742927081133,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252709"},{"type":"electronic","value":"9783642252716"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25271-6_9","type":"book-chapter","created":{"date-parts":[[2011,12,15]],"date-time":"2011-12-15T01:56:11Z","timestamp":1323914171000},"page":"165-183","source":"Crossref","is-referenced-by-count":3,"title":["A Component Model for the ABS Language"],"prefix":"10.1007","author":[{"given":"Micha\u00ebl","family":"Lienhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sangiorgi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Welsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Science of Computer Programming (2010) (in press)"},{"key":"9_CR2","unstructured":"OSGi Alliance. Osgi Service Platform, Release 3. IOS Press, Inc., Amsterdam (2003)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bhatti, N.T., Hiltunen, M.A., Schlichting, R.D., Chiu, W.: Coyote: A system for constructing fine-grain configurable communication services. ACM Trans. Comput. Syst.\u00a016(4) (1998)","DOI":"10.1145\/292523.292524"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: The Fractal Component Model and its Support in Java. Software - Practice and Experience\u00a036(11-12) (2006)","DOI":"10.1002\/spe.767"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of boxed ambients. ACM. Trans. Prog. Languages and Systems\u00a026(1) (2004)","DOI":"10.1145\/963778.963781"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science\u00a0240(1) (2000)","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Castagna, G., Vitek, J., Nardelli, F.Z.: The Seal calculus. Inf. Comput.\u00a0201(1) (2005)","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"9_CR8","unstructured":"Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J.: OpenCOM v2: A Component Model for Building Systsms Software. In: Proceedings of IASTED Software Engineering and Applications, SEA 2004 (2004)"},{"key":"9_CR9","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_CR10","unstructured":"Full ABS Modeling Framework, Deliverable 1.2 of project FP7-231 620 (HATS) (March 2011), http:\/\/www.hats-project.eu"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The join calculus: A language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002)"},{"key":"9_CR12","unstructured":"European Project HATS, http:\/\/www.hats-project.eu"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Leclercq, M., Quema, V., Stefani, J.-B.: DREAM: a Component Framework for the Construction of Resource-Aware, Configurable MOMs. IEEE Distributed Systems Online\u00a06(9) (2005)","DOI":"10.1109\/MDSO.2005.47"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/978-3-642-04081-8_30","volume-title":"CONCUR 2009 - Concurrency Theory","author":"S. Lenglet","year":"2009","unstructured":"Lenglet, S., Schmitt, A., Stefani, J.-B.: Howe\u2019s Method for Calculi with Passivation. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 448\u2013462. Springer, Heidelberg (2009), doi:10.1007\/978-3-642-04081-8_30"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM. Trans. Prog. Languages and Systems\u00a025(1) (2003)","DOI":"10.1145\/596980.596981"},{"key":"9_CR17","first-page":"43","volume-title":"GPCE 2007: Proceedings of the 6th International Conference on Generative Programming and Component Engineering","author":"M. Lienhardt","year":"2007","unstructured":"Lienhardt, M., Schmitt, A., Stefani, J.-B.: Oz\/k: A kernel language for component-based open programming. In: GPCE 2007: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, pp. 43\u201352. ACM, New York (2007)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Liu, X., Kreitz, C., van Renesse, R., Hickey, J., Hayden, M., Birman, K., Constable, R.: Building Reliable, High-Performance Communication Systems from Components. In: Proceedings of the 1999 ACM Symposium on Operating Systems Principles, Kiawah Island, SC (December 1999)","DOI":"10.1145\/319151.319157"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1145\/1101821.1101825","volume":"52","author":"M. Merro","year":"2005","unstructured":"Merro, M., Nardelli, F.Z.: Behavioral theory for mobile ambients. J. ACM\u00a052(6), 961\u20131023 (2005)","journal-title":"J. ACM"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput.\u00a0100(1), 1\u201340, 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"9_CR21","volume-title":"21st International Conference on Distributed Computing Systems (ICDCS 2001)","author":"H. Miranda","year":"2001","unstructured":"Miranda, H., Pinto, A.S., Rodrigues, L.: Appia: A flexible protocol kernel supporting multiple coordinated channels. In: 21st International Conference on Distributed Computing Systems (ICDCS 2001). IEEE Computer Society, Los Alamitos (2001)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-15640-3_11","volume-title":"Trustworthly Global Computing","author":"F. Montesi","year":"2010","unstructured":"Montesi, F., Sangiorgi, D.: A model of evolvable components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol.\u00a06084, pp. 153\u2013171. Springer, Heidelberg (2010), doi:10.1007\/978-3-642-15640-3_11"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Morris, R., Kohler, E., Jannotti, J., Frans Kaashoek, M.: The Click Modular Router. In: ACM Symposium on Operating Systems Principles (1999)","DOI":"10.1145\/319151.319166"},{"key":"9_CR24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/ICSE.1998.671114","volume-title":"Proceedings of the 20th International Conference on Software Engineering, ICSE 1998","author":"P. Oreizy","year":"1998","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proceedings of the 20th International Conference on Software Engineering, ICSE 1998, pp. 177\u2013186. IEEE Computer Society, Washington, DC, USA (1998)"},{"key":"9_CR25","first-page":"899","volume-title":"Companion of the 30th International Conference on Software Engineering, ICSE Companion 2008","author":"P. Oreizy","year":"2008","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, approaches, and styles. In: Companion of the 30th International Conference on Software Engineering, ICSE Companion 2008, pp. 899\u2013910. ACM, New York (2008)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From pi-calculus to higher-order pi-calculus - and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 151\u2013166. Springer, Heidelberg (1993)"},{"key":"9_CR27","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.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.-B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages, POPL (2003)","DOI":"10.1145\/604131.604136"},{"key":"9_CR29","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_CR30","unstructured":"Sun Microsystems. JSR 220: Enterprise JavaBeans, Version 3.0 \u2013 EJB Core Contracts and Requirements (2006)"},{"key":"9_CR31","volume-title":"Component Software","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-45694-5_20","volume-title":"CONCUR 2002 - Concurrency Theory","author":"D. Teller","year":"2002","unstructured":"Teller, D., Zimmer, P., Hirschkoff, D.: Using Ambients to Control Resources. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 288\u2013303. Springer, Heidelberg (2002)"}],"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-25271-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T21:10:47Z","timestamp":1686517847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25271-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252709","9783642252716"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25271-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}