{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:21:11Z","timestamp":1725848471049},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319289335"},{"type":"electronic","value":"9783319289342"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_16","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T15:32:56Z","timestamp":1453995176000},"page":"294-311","source":"Crossref","is-referenced-by-count":2,"title":["Typed Connector Families"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Apel, S., Speidel, H., Wendler, P., von Rhein, A., Beyer, D.: Detection of feature interactions using feature-aware verification. In: Proceedings of the 2011 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2011, pp. 372\u2013375. IEEE Computer Society, Washington, DC (2011)","DOI":"10.1109\/ASE.2011.6100075"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-03429-9_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Arbab","year":"2009","unstructured":"Arbab, F., Bruni, R., Clarke, I., Lanese, I., Montanari, U.: Tiles for Reo. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 37\u201355. Springer, Heidelberg (2009)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Sobocinski, P., Zanasi, F.: Full abstraction for signal flow graphs. In: Proceedings of the 42nd Annual Symposium on Principles of Programming Languages, POPL 2015, pp. 515\u2013526. ACM, New York (2015)","DOI":"10.1145\/2775051.2676993"},{"issue":"1\u20132","key":"16_CR5","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1\u20132), 98\u2013120 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR6","unstructured":"Dimovski, A.S., Brabrand, C., Wasowski, A.: Variability abstractions: Trading precision for speed in family-based analyses (extended version) CoRR. abs\/1503.04608 (2015)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Gadducci, F., Montanari, U.: The tile model. In: Plotkin, G.D., Stirling, C., Tofte, M. (eds.) Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 133\u2013166. The MIT Press (2000)","DOI":"10.7551\/mitpress\/5641.003.0010"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1017\/S0956796899003354","volume":"9","author":"J Gibbons","year":"1999","unstructured":"Gibbons, J.: A pointless derivation of radix sort. J. Funct. Program. 9(3), 339\u2013346 (1999)","journal-title":"J. Funct. Program."},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(94)00005-0","volume":"22","author":"MP Jones","year":"1994","unstructured":"Jones, M.P.: A theory of qualified types. Sci. Comput. Program. 22(3), 231\u2013256 (1994)","journal-title":"Sci. Comput. Program."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Kastner, C., Apel, S.: Type-checking software product lines - a formal approach. In: Proceedings of the 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2008, pp. 258\u2013267. IEEE Computer Society, Washington, DC (2008)","DOI":"10.1109\/ASE.2008.36"},{"key":"16_CR11","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"16_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering. Springer, Heidelberg (2005)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Post, H., Sinz, C., Configuration lifting,: Verification meets software configuration. In Proceedings of the 23rd International Conference on Automated Software Engineering, ASE \u201908, pp. 347\u2013350. IEEE Computer Society, 2008. (2008)","DOI":"10.1109\/ASE.2008.45"},{"key":"16_CR14","series-title":"Lecture Notes in Physics","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","volume-title":"New Structures for Physics","author":"P Selinger","year":"2011","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, vol. 813, pp. 289\u2013355. Springer, Berlin Heidelberg (2011)"},{"key":"16_CR15","series-title":"Lecture Notes in Physics","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","volume-title":"New Structures for Physics","author":"P Selinger","year":"2011","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, vol. 813, pp. 289\u2013355. Springer, Heidelberg (2011)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In Proceedings of the 6th International Conference on Generative Programming and Component Engineering, GPCE 2007, pp. 95\u2013104. ACM (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Apel, S., Hentschel, M.: Family-based deductive verification of software product lines. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE 2012, pp. 11\u201320. ACM, New York (2012)","DOI":"10.1145\/2371401.2371404"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28934-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T01:06:44Z","timestamp":1718327204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}