{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:43:25Z","timestamp":1762623805441,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"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-47166-2_40","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"570-588","source":"Crossref","is-referenced-by-count":4,"title":["A Calculus for Open Ensembles and Their Composition"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of 9th ACM SIGSOFT Annual Symposium on Foundations of Software Engineering (FSE 2001), pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-39570-8_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1\u201318. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39570-8_1"},{"issue":"4","key":"40_CR3","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF01178776","volume":"29","author":"JCM Baeten","year":"1992","unstructured":"Baeten, J.C.M., Vaandrager, F.W.: An algebra for process creation. Acta Inf. 29(4), 303\u2013334 (1992)","journal-title":"Acta Inf."},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Bruni, R., Montanari, U., Sammartino, M.: Reconfigurable and software-defined networks of connectors and components. In: Wirsing, M., et al. [13], pp. 73\u2013106. http:\/\/dx.doi.org\/10.1007\/978-3-319-16310-9","DOI":"10.1007\/978-3-319-16310-9"},{"issue":"10","key":"40_CR5","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1016\/j.ic.2007.03.004","volume":"205","author":"R Nicola De","year":"2007","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Inf. Comput. 205(10), 1491\u20131525 (2007)","journal-title":"Inf. Comput."},{"issue":"2","key":"40_CR6","first-page":"7:1","volume":"9","author":"R Nicola De","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"},{"key":"40_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/3-540-56939-1_101","volume-title":"Automata, Languages and Programming","author":"K Havelund","year":"1993","unstructured":"Havelund, K., Larsen, K.G.: The fork calculus. In: Lingas, A., Karlsson, R., Carlsson, S. (eds.) ICALP 1993. LNCS, vol. 700, pp. 544\u2013557. Springer, Heidelberg (1993). doi: 10.1007\/3-540-56939-1_101"},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-319-23165-5_16","volume-title":"Logic, Rewriting, and Concurrency","author":"R Hennicker","year":"2015","unstructured":"Hennicker, R., Klarl, A., Wirsing, M.: Model-checking Helena ensembles with Spin. In: Mart\u00ed-Oliet, N., \u00d6lveczky, P.C., Talcott, C. (eds.) Meseguer Festschrift. LNCS, vol. 9200, pp. 331\u2013360. Springer, Heidelberg (2015)"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Klarl, A.: Engineering self-adaptive systems with the role-based architecture of Helena. In: Proceedings of 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2015, pp. 3\u20138. IEEE Computer Society (2015)","DOI":"10.1109\/WETICE.2015.32"},{"key":"40_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-662-45234-9_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A Klarl","year":"2014","unstructured":"Klarl, A., Mayer, P., Hennicker, R.: Helena@work: modeling the science cloud platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 99\u2013116. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_8"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bure\u0161, T.: The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing. In: Workshops on Challenges for Achieving Self-Awareness in Autonomic Systems, pp. 1\u20136. IEEE (2013)","DOI":"10.1109\/SASOW.2013.16"},{"key":"40_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol. 2218, pp. 329\u2013350. Springer, Heidelberg (2001)"},{"key":"40_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems - The ASCENS Approach","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems - The ASCENS Approach. LNCS, vol. 8998. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-16310-9"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:07Z","timestamp":1498335727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}