{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:59:20Z","timestamp":1725890360126},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021374"},{"type":"electronic","value":"9783642021381"}],"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-02138-1_11","type":"book-chapter","created":{"date-parts":[[2009,6,13]],"date-time":"2009-06-13T05:43:14Z","timestamp":1244871794000},"page":"167-181","source":"Crossref","is-referenced-by-count":3,"title":["Typing Component-Based Communication Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Lienhardt","sequence":"first","affiliation":[]},{"given":"Claudio Antares","family":"Mezzina","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-47993-7_15","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural Reasoning in ArchJava. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 334. Springer, Heidelberg (2002)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology\u00a06(3) (1997)","DOI":"10.1145\/258077.258078"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Barros, T., Cansado, A., Madelaine, E., Rivera, M.: Model-checking Distributed Components: The Vercors Platform. Electr. Notes Theor. Comput. Sci.\u00a0182 (2007)","DOI":"10.1016\/j.entcs.2006.09.028"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional Verification for Component-Based Systems and Application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311. Springer, Heidelberg (2008)"},{"key":"11_CR5","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":"11_CR6","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":"11_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Types for mobile ambients. In: Proceedings 26th Annual ACM Symposium on Principles of Programming Languages, POPL (1999)","DOI":"10.1145\/292540.292550"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39979-7_8","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"C. Carrez","year":"2003","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Behaviour contracts for a sound assembly of components. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767. Springer, Heidelberg (2003)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Pottier, F.: A constraint-based presentation and generalization of rows. In: Symposium on Logic in Computer Science, LICS (2003)","DOI":"10.1109\/LICS.2003.1210073"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-45309-1_15","volume-title":"Programming Languages and Systems","author":"S. Conchon","year":"2001","unstructured":"Conchon, S., Pottier, F.: JOIN(X): Constraint-Based Type Inference for the Join-Calculus. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, pp. 221\u2013236. Springer, Heidelberg (2001)"},{"volume-title":"1st EuroSys Conference","year":"2006","author":"M. Fahndrich","key":"11_CR11","unstructured":"Fahndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J., Levi, S.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: 1st EuroSys Conference. ACM, New York (2006)"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"Henglein, F.: Type inference with polymorphic recursion. ACM Trans. Program. Lang. Syst.\u00a015(2), 253\u2013289 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608865","volume-title":"Basic simple type theory","author":"J. Roger Hindley","year":"1997","unstructured":"Roger Hindley, J.: Basic simple type theory. Cambridge University Press, New York (1997)"},{"volume-title":"35th ACM Symposium on Principles of Programming Languages (POPL 2008)","year":"2008","author":"K. Honda","key":"11_CR14","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: 35th ACM Symposium on Principles of Programming Languages (POPL 2008). ACM, New York (2008)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Issarny, V., Bidan, C., Saridakis, T.: Achieving Middleware Customization in a Configuration-Based Development Environment\u00a0: Experience with the Aster Prototype. In: 4th Int. Conf. on Configurable Distributed Systems (1998)","DOI":"10.1109\/CDS.1998.675775"},{"volume-title":"WICSA 2005","year":"2005","author":"A. Joolia","key":"11_CR16","unstructured":"Joolia, A., Batista, T., Coulson, G., Gomes, A.: Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform. In: WICSA 2005. IEEE Computer Society, Los Alamitos (2005)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Kohler, E., Morris, R., Chen, B.: Programming language optimizations for modular router configurations. In: ASPLOS (2002)","DOI":"10.1145\/605397.605424"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.F.: The Click Modular Router. ACM Trans. Comput. Syst.\u00a018(3) (2000)","DOI":"10.1145\/354871.354874"},{"volume-title":"29th Int. Conf. on Soft. Eng. (ICSE)","year":"2007","author":"M. Leclercq","key":"11_CR19","unstructured":"Leclercq, M., Ozcan, A.E., Quema, V., Stefani, J.B.: Supporting heterogeneous architecture descriptions in an extensible toolset. In: 29th Int. Conf. on Soft. Eng. (ICSE). IEEE Computer Society, Los Alamitos (2007)"},{"key":"11_CR20","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":"11_CR21","doi-asserted-by":"crossref","unstructured":"Lhoussaine, C.: Type inference for a distributed \u03c0-calculus. Sci. Comput. Program.\u00a050(1-3) (2004)","DOI":"10.1016\/j.scico.2003.12.003"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Lienhardt, M., Mezzina, C.A., Schmitt, A., Stefani, J.B.: Typing communicating component assemblages v2 (2008), http:\/\/sardes.inrialpes.fr\/papers\/dtv2.pdf","DOI":"10.1145\/1449913.1449933"},{"volume-title":"GPCE 2008","year":"2008","author":"M. Lienhardt","key":"11_CR23","unstructured":"Lienhardt, M., Schmitt, A., Stefani, J.B.: Typing communicating component assemblages. In: GPCE 2008. ACM, New York (2008)"},{"key":"11_CR24","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: ACM Symposium on Operating Systems Principles (1999)","DOI":"10.1145\/319151.319157"},{"key":"11_CR25","series-title":"ENTCS","first-page":"117","volume-title":"ITRS 2004","author":"S. Maffeis","year":"2005","unstructured":"Maffeis, S.: Sequence types for the pi-calculus. In: ITRS 2004. ENTCS, vol.\u00a0136, pp. 117\u2013132. Elsevier, Amsterdam (2005)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-540-31987-0_27","volume-title":"Programming Languages and Systems","author":"H. Makholm","year":"2005","unstructured":"Makholm, H., Wells, J.B.: Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 389\u2013407. Springer, Heidelberg (2005)"},{"volume-title":"ICDCS 2001","year":"2001","author":"H. Miranda","key":"11_CR27","unstructured":"Miranda, H., Pinto, A.S., Rodrigues, L.: Appia: A flexible protocol kernel supporting multiple coordinated channels. In: ICDCS 2001. IEEE Computer Society, Los Alamitos (2001)"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF01212524","volume":"9","author":"J. Palsberg","year":"1997","unstructured":"Palsberg, J., Wand, M., O\u2019Keefe, P.: Type inference with non-structural subtyping. Formal Aspects of Computing\u00a09, 49\u201367 (1997)","journal-title":"Formal Aspects of Computing"},{"volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","year":"2000","author":"B. Pierce","key":"11_CR29","unstructured":"Pierce, B., Turner, D.: 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 (2000)"},{"key":"11_CR30","unstructured":"Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: Component Composition for Systems Software. In: OSDI 2000 (2000)"},{"volume-title":"Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design","year":"1993","author":"D. R\u00e9my","key":"11_CR31","unstructured":"R\u00e9my, D.: Type inference for records in a natural extension of ML. In: Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, Cambridge (1993)"},{"issue":"1","key":"11_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1180475.1180476","volume":"29","author":"V. Simonet","year":"2007","unstructured":"Simonet, V., Pottier, F.: A constraint-based approach to guarded algebraic data types. ACM Trans. Program. Lang. Syst.\u00a029(1), 1 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR33","volume-title":"Component Software.","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software., 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"van Renesse, R., Birman, K., Hayden, M., Vaysburd, A., Karr, D.: Building Adaptive Systems Using Ensemble. Software \u2013 Practice and Experience\u00a028(9) (1998)","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<963::AID-SPE179>3.0.CO;2-9"},{"key":"11_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-45927-8_8","volume-title":"Programming Languages and Systems","author":"S. Weirich","year":"2002","unstructured":"Weirich, S.: Higher-order intensional type analysis. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 98\u2013114. Springer, Heidelberg (2002)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. In: 15th Annual IEEE Symposium on Logic in Computer Science, LICS (2000)","DOI":"10.1109\/LICS.2000.855782"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. Inf. Comput.\u00a0174(2) (2002)","DOI":"10.1006\/inco.2002.3113"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Vasconcelos, V.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci.\u00a0171(4) (2007)","DOI":"10.1016\/j.entcs.2007.02.056"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02138-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:05:57Z","timestamp":1558375557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02138-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021374","9783642021381"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02138-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}
