{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T21:28:14Z","timestamp":1774560494353,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319395692","type":"print"},{"value":"9783319395708","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_1","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["On the Power of Attribute-Based Communication"],"prefix":"10.1007","author":[{"given":"Yehia","family":"Abd Alrahman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G., Callsen, C.J.: ActorSpace: an open distributed programming paradigm, vol. 28. ACM (1993)","DOI":"10.1145\/173284.155335"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M.: On the power of attribute-based communication, extended report (2016)","DOI":"10.1145\/2695664.2695668"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015, pp. 1840\u20131845. ACM (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"1_CR4","unstructured":"Bass, M.A., Nguyen, F.T.: Unified publish and subscribe paradigm for local and remote publishing destinations, US Patent 6,405,266, 11 June 2002"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"Gregory V. Chockler","year":"2001","unstructured":"Chockler, G.V., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Comput. Surv. 33, 427\u2013469. ACM (2001). doi:\n                    10.1145\/503112.503113","journal-title":"ACM Computing Surveys"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Boer, F.S., Bonsangue, M.M., Beckert, B., Damiani, F. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the scel language. ACM Trans. Auton. Adapt. Syst. 9, 1\u201329 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1_CR8","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Parallel and Distributed Processing Symposium, International, vol. 3, p. 30149b. IEEE Computer Society (2001)"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"PT Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish\/subscribe. ACM Comput. (CSUR) 35(2), 114\u2013131 (2003)","journal-title":"ACM Comput. (CSUR)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Collective adaptive systems. In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, pp. 893\u2013895 (2015)","DOI":"10.1145\/2800835.2809508"},{"key":"1_CR11","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-15240-5_18","volume-title":"Theoretical Computer Science","author":"T Given-Wilson","year":"2010","unstructured":"Given-Wilson, T., Gorla, D., Jay, B.: Concurrent pattern calculus. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 244\u2013258. Springer, Heidelberg (2010)"},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C Antony Richard Hoare","year":"1978","unstructured":"Antony Richard Hoare, C.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Holbrook, H.W., Cheriton, D.R.: Ip multicast channels: express support for large-scale single-source applications. In: ACM SIGCOMM Computer Communication Review, vol. 29, pp. 65\u201378. ACM (1999)","DOI":"10.1145\/316194.316207"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"151","author":"K Honda","year":"1995","unstructured":"Honda, K., Yoshida, N.: On reduction-based process semantics. Theor. Comput. Sci. 151(2), 437\u2013486 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-03845-7_16","volume-title":"Computational Methods in Systems Biology","author":"M John","year":"2009","unstructured":"John, M., Lhoussaine, C., Niehren, J.: Dynamic compartments in the imperative $$\\pi $$-calculus. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 235\u2013250. Springer, Heidelberg (2009)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-11712-1_2","volume-title":"Transactions on Computational Systems Biology XII","author":"M John","year":"2010","unstructured":"John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The attributed Pi-calculus with priorities. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 13\u201376. Springer, Heidelberg (2010)"},{"key":"1_CR17","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications with the tota middleware. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. PerCom 2004, pp. 263\u2013273. IEEE (2004)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980). doi:\n                    10.1007\/3-540-10235-3"},{"key":"1_CR19","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc, Upper Saddle River (1989)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. Comput. 100(1), 41\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"KVS Prasad","year":"1995","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2), 285\u2013327 (1995)","journal-title":"Sci. Comput. Program."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-53982-4_19","volume-title":"CAAP 1991 and TAPSOFT 1991","author":"KVS Prasad","year":"1991","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol. 493, pp. 338\u2013358. Springer, Heidelberg (1991)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-89437-7_8","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"JW Sanders","year":"2008","unstructured":"Sanders, J.W., Smith, G.: Formal ensemble engineering. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 132\u2013138. Springer, Heidelberg (2008)"},{"key":"1_CR25","volume-title":"The pi-calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2003","unstructured":"Sangiorgi, D., Walker, D.: The pi-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)"},{"issue":"7","key":"1_CR26","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/2209249.2209268","volume":"55","author":"I Sommerville","year":"2012","unstructured":"Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., Mcdermid, J., Paige, R.: Large-scale complex it systems. Commun. ACM 55(7), 71\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-642-38613-8_28","volume-title":"Integrated Formal Methods","author":"R Vigo","year":"2013","unstructured":"Vigo, R., Nielson, F., Nielson, H.R.: Broadcast, denial-of-service, and secure communication. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 412\u2013427. Springer, Heidelberg (2013)"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-45364-9_11","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"M Viroli","year":"2013","unstructured":"Viroli, M., Damiani, F., Beal, J.: A calculus of computational fields. In: Canal, C., Villari, M. (eds.) Advances in Service-Oriented and Cloud Computing, pp. 114\u2013128. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:09:20Z","timestamp":1590192560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}