{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:34Z","timestamp":1725558634117},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_14","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"339-360","source":"Crossref","is-referenced-by-count":18,"title":["A Calculus for Modeling Software Components"],"prefix":"10.1007","author":[{"given":"Oscar","family":"Nierstrasz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Achermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L., L\u00e9vy, J.-J.: Explicit substitutions. Journal of Functional Programming\u00a01(4), 375\u2013416 (1991)","journal-title":"Journal of Functional Programming"},{"key":"14_CR2","unstructured":"Achermann, F.: Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne (January 2002)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45263-X_2","volume-title":"Coordination Languages and Models","author":"F. Achermann","year":"2000","unstructured":"Achermann, F., Kneubuehl, S., Nierstrasz, O.: Scripting coordination styles. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 19\u201335. Springer, Heidelberg (2000)"},{"key":"14_CR4","first-page":"403","volume-title":"Formal Methods for Distributed Processing \u2013 A Survey of Object-Oriented Approaches","author":"F. Achermann","year":"2001","unstructured":"Achermann, F., Lumpe, M., Schneider, J.-G., Nierstrasz, O.: Piccola \u2013 a small composition language. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Distributed Processing \u2013 A Survey of Object-Oriented Approaches, pp. 403\u2013426. Cambridge University Press, Cambridge (2001)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/10722581_8","volume-title":"Modular Programming Languages","author":"F. Achermann","year":"2000","unstructured":"Achermann, F., Nierstrasz, O.: Explicit Namespaces. In: Weck, W., Gutknecht, J. (eds.) JMLC 2000. LNCS, vol.\u00a01897, pp. 77\u201389. Springer, Heidelberg (2000)"},{"key":"14_CR6","first-page":"261","volume-title":"Software Architectures and Component Technology","author":"F. Achermann","year":"2001","unstructured":"Achermann, F., Nierstrasz, O.: Applications = Components + Scripts \u2013 A Tour of Piccola. In: Aksit, M. (ed.) Software Architectures and Component Technology, pp. 261\u2013292. Kluwer, Dordrecht (2001)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-46000-4","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 21\u201338. Springer, Heidelberg (2002)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096, 217\u2013248 (1992)","journal-title":"Theoretical Computer Science"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Boudol, G.: The pi-calculus in direct style. In: Conference Record of POPL 1997, pp. 228\u2013241 (1997)","DOI":"10.1145\/263699.263726"},{"key":"#cr-split#-14_CR10.1","doi-asserted-by":"crossref","unstructured":"Burstall, R., Lampson, B.: A kernel language for abstract data types and modules. Information and Computation\u00a076(2\/3) (1984);","DOI":"10.1007\/3-540-13346-1_1"},{"key":"#cr-split#-14_CR10.2","unstructured":"Also appeared in Proceedings of the International Symposium on Semantics of Data Types, Springer, LNCS and as SRC Research Report 1 (1984)"},{"key":"14_CR11","first-page":"295","volume-title":"Theoretical Aspects of Object-Oriented Programming. Types, Semantics and Language Design","author":"L. Cardelli","year":"1993","unstructured":"Cardelli, L., Mitchell, J.C.: Operations on records. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming. Types, Semantics and Language Design, pp. 295\u2013350. MIT Press, Cambridge (1993)"},{"key":"14_CR12","unstructured":"Dal-Zilio, S.: Le calcul bleu: types et objects. Ph.D. thesis, Universit\u00e9 de Nice - Sophia Antipolis (July 1999) (in french)"},{"key":"14_CR13","unstructured":"Dami, L.: Software Composition: Towards an Integration of Functional and Object-Oriented Approaches. Ph.D. thesis, University of Geneva (1994)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1007\/BFb0055107","volume-title":"Automata, Languages and Programming","author":"C. Fournet","year":"1998","unstructured":"Fournet, C., Gonthier, G.: A hierarchy of equivalences for asynchronous calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 844\u2013855. Springer, Heidelberg (1998)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., L\u00e9vy, J.-J., Maranget, L., R\u00e9my, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"issue":"6","key":"14_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"D. Garlan","year":"1995","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software\u00a012(6), 17\u201326 (1995)","journal-title":"IEEE Software"},{"key":"14_CR17","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Proceedings HLCL 1998. Elsevier ENTCS (1998)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"14_CR19","unstructured":"Kneubuehl, S.: Typeful compositional styles. Diploma thesis, University of Bern (April 2003)"},{"key":"14_CR20","unstructured":"Lumpe, M.: A Pi-Calculus Based Approach to Software Composition. Ph.D. thesis, University of Bern, Institute of Computer Science and Applied Mathematics (January 1999)"},{"key":"14_CR21","first-page":"69","volume-title":"Foundations of Component Based Systems","author":"M. Lumpe","year":"2000","unstructured":"Lumpe, M., Achermann, F., Nierstrasz, O.: A Formal Language for Composition. In: Leavens, G., Sitaraman, M. (eds.) Foundations of Component Based Systems, pp. 69\u201390. Cambridge University Press, Cambridge (2000)"},{"key":"14_CR22","volume-title":"Programming Python","author":"M. Lutz","year":"1996","unstructured":"Lutz, M.: Programming Python. O\u2019Reilly & Associates, Inc., Sebastopol (1996)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Automata, Languages and Programming","author":"M. Merro","year":"1998","unstructured":"Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 856\u2013867. Springer, Heidelberg (1998)"},{"key":"14_CR24","volume-title":"Prototype-based Programming","author":"W. Meuter De","year":"1998","unstructured":"De Meuter, W.: Agora: The story of the simplest MOP in the world \u2014 or \u2014 the scheme of object\u2013orientation. In: Noble, J., Moore, I., Taivalsaari, A. (eds.) Prototype-based Programming. Springer, Heidelberg (1998)"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61604-7_55","volume-title":"CONCUR \u201996: Concurrency Theory","author":"U. Nestmann","year":"1996","unstructured":"Nestmann, U., Pierce, B.C.: Decoding choice encodings. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 179\u2013194. Springer, Heidelberg (1996)"},{"key":"14_CR28","unstructured":"Nierstrasz, O.: Contractual types (2003) (submitted for publication)"},{"key":"14_CR29","first-page":"11","volume-title":"Proceedings International Symposium on Principles of Software Evolution (ISPSE 2000)","author":"O. Nierstrasz","year":"2000","unstructured":"Nierstrasz, O., Achermann, F.: Supporting Compositional Styles for Software Evolution. In: Proceedings International Symposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, November 1-2, pp. 11\u201319. IEEE, Los Alamitos (2000)"},{"key":"14_CR30","unstructured":"Nierstrasz, O., Achermann, F., Kneubuehl, S.: A guide to jpiccola. Technical report, Institut f\u00fcr Informatik, Universit\u00e4t Bern, Switzerland (2003), Available from http:\/\/www.iam.unibe.ch\/~scg\/Research\/Piccola"},{"key":"14_CR31","first-page":"3","volume-title":"Object-Oriented Software Composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O., Dami, L.: Component-oriented software technology. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 3\u201328. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"14_CR32","volume-title":"Proceedings ISPSE 2000","author":"S.-Y. Nishizaki","year":"2000","unstructured":"Nishizaki, S.-Y.: Programmable environment calculus as theory of dynamic software evolution. In: Proceedings ISPSE 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"14_CR33","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (May 2000)"},{"key":"14_CR34","series-title":"ch. 10","first-page":"351","volume-title":"Typing Record Concatenation for Free","author":"D. R\u00e9my","year":"1994","unstructured":"R\u00e9my, D.: Typing Record Concatenation for Free, April 1994. ch. 10, pp. 351\u2013372. MIT Press, Cambridge (1994)"},{"key":"14_CR35","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher- Order Paradigms. Ph.D. thesis, Computer Science Dept., University of Edinburgh (May 1993)"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Asynchronous process calculi: the first-order and higher-order paradigms (tutorial). Theoretical Computer Science\u00a0253 (2001)","DOI":"10.1016\/S0304-3975(00)00097-9"},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-48959-2_24","volume-title":"Typed Lambda Calculi and Applications","author":"M. Sato","year":"1999","unstructured":"Sato, M., Sakurai, T., Burstall, R.M.: Explicit environments. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 340\u2013354. Springer, Heidelberg (1999)"},{"key":"14_CR38","unstructured":"Sch\u00e4rli, N.: Supporting pure composition by inter-language bridging on the meta-level. Diploma thesis, University of Bern (September 2001)"},{"key":"14_CR39","unstructured":"Sch\u00e4rli, N., Achermann, F.: Partial evaluation of inter-language wrappers. In: Workshop on Composition Languages, WCL 2001 (September 2001)"},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"Schneider, J.-G.: Components, Scripts, and Glue: A conceptual framework for software composition. Ph.D. thesis, University of Bern, Institute of Computer Science and Applied Mathematics (October 1999)","DOI":"10.1007\/978-1-4471-0367-7_2"},{"key":"14_CR41","first-page":"13","volume-title":"Software Architectures \u2013 Advances and Applications","author":"J.-G. Schneider","year":"1999","unstructured":"Schneider, J.-G., Nierstrasz, O.: Components, scripts and glue. In: Barroca, L., Hall, J., Hall, P. (eds.) Software Architectures \u2013 Advances and Applications, pp. 13\u201325. Springer, Heidelberg (1999)"},{"key":"14_CR42","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"14_CR43","volume-title":"Component Software","author":"C.A. Szyperski","year":"1998","unstructured":"Szyperski, C.A.: Component Software. Addison-Wesley, Reading (1998)"},{"issue":"2","key":"14_CR44","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"Walker, D.: Objects in the \u03c0-calculus. Information and Computation\u00a0116(2), 253\u2013271 (1995)","journal-title":"Information and Computation"},{"key":"14_CR45","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P.T.: Nomadic Pict: Language and Infrastructure Design for Mobile Computation. PhD thesis,Wolfson College, University of Cambridge (March 2000)","DOI":"10.1109\/4434.846193"}],"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-540-39656-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:57:29Z","timestamp":1559213849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}