{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:53:09Z","timestamp":1742989989283,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924076"},{"type":"electronic","value":"9783319924083"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92408-3_4","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T17:08:42Z","timestamp":1527354522000},"page":"81-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7259-0837","authenticated-orcid":false,"given":"Denis","family":"Darquennes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9531-0519","authenticated-orcid":false,"given":"Jean-Marie","family":"Jacquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8034-1857","authenticated-orcid":false,"given":"Isabelle","family":"Linden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J-P Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.-P., Le M\u00e9tayer, D.: Programming by multiset transformation. Commun. ACM 36(1), 98\u2013111 (1993)","journal-title":"Commun. ACM"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/9781848161023_0001","volume-title":"Coordination Programming: Mechanisms, Models and Semantics","author":"J.-P. BAN\u00c2TRE","year":"1996","unstructured":"Ban\u00e2tre, J.-P., Le M\u00e9tayer, D.: Gamma and the chemical reaction model: ten years after. In: Coordination Programming, pp. 3\u201341. Imperial College Press, London (1996)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bonsangue, M.M., Kok, J.N., Zavattaro, G.: Comparing coordination models based on shared distributed replicated data. In: ACM Symposium on Applied Computing, pp. 156\u2013165 (1999)","DOI":"10.1145\/298151.298226"},{"key":"4_CR4","unstructured":"De Bosschere, K., Jacquet, J.-M.: Multi-prolog: definition, operational semantics, and implementation. In: Warren, D.S. (ed.) Proceedings of the International Conference on Logic Programming, Budapest, Hongrie, pp. 299\u2013314. The MIT Press (1993)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.tcs.2005.08.004","volume":"346","author":"M Bravetti","year":"2005","unstructured":"Bravetti, M., Gorrieri, R., Lucchi, R., Zavattaro, G.: Quantitative information in the tuple space coordination model. Theoret. Comput. Sci. 346(1), 28\u201357 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-24634-3_7","volume-title":"Coordination Models and Languages","author":"M Bravetti","year":"2004","unstructured":"Bravetti, M., Gorrieri, R., Lucchi, R., Zavattaro, G.: Probabilistic and prioritized data retrieval in the Linda coordination model. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 55\u201370. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_7"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","volume":"70","author":"M Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Service oriented computing from a process algebraic perspective. J. Logic Algebr. Program. 70(1), 3\u201314 (2007)","journal-title":"J. Logic Algebr. Program."},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-63383-9_84","volume-title":"Coordination Languages and Models","author":"A Brogi","year":"1997","unstructured":"Brogi, A., Jacquet, J.-M.: Modeling coordination via asynchronous communication. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 238\u2013255. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63383-9_84"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S1571-0661(04)00117-3","volume":"16","author":"A Brogi","year":"1998","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of Linda-like concurrent languages. Electron. Not. Theoret. Comput. Sci. 16(2), 61\u201382 (1998)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-48919-3_11","volume-title":"Coordinatio Languages and Models","author":"A Brogi","year":"1999","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of coordination models. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 134\u2013149. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48919-3_11"},{"issue":"1\u20132","key":"4_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0167-6423(02)00087-4","volume":"46","author":"A Brogi","year":"2003","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1\u20132), 71\u201398 (2003)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/S1571-0661(05)82568-X","volume":"68","author":"A Brogi","year":"2003","unstructured":"Brogi, A., Jacquet, J.-M., Linden, I.: On modeling coordination via asynchronous communication and enhanced matching. Electron. Not. Theoret. Comput. Sci. 68(3), 284\u2013309 (2003)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S1571-0661(05)80467-0","volume":"7","author":"N Busi","year":"1997","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the Turing equivalence of Linda coordination primitives. Electron. Not. Theoret. Comput. Sci. 7, 75\u201375 (1997)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0304-3975(97)00149-7","volume":"192","author":"N Busi","year":"1998","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: A process algebraic view of Linda coordination primitives. Theoret. Comput. Sci. 192, 167\u2013199 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR15","unstructured":"Darquennes, D.: On Multiplicities in Coordination Languages. Ph.D. thesis, Faculty of Computer Science, University of Namur, Namur, Belgium (2017)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.4204\/EPTCS.175.3","volume":"175","author":"Denis Darquennes","year":"2015","unstructured":"Darquennes, D., Jacquet, J.-M., Linden, I.: On distributed density in tuple-based coordination languages. In: C\u00e1mara, J., Proen\u00e7a, J. (eds.) Proceedings of the 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems. EPTCS, vol. 175, pp. 36\u201353. Springer (2015)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"FS de Boer","year":"1994","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128\u2013157 (1994)","journal-title":"Inf. Comput."},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"JF Groote","year":"2014","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)"},{"key":"4_CR20","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-45364-9_16","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"J-M Jacquet","year":"2013","unstructured":"Jacquet, J.-M., Linden, I., Darquennes, D.: On density in coordination languages. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 189\u2013203. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45364-9_16"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.scico.2015.08.003","volume":"115-116","author":"Jean-Marie Jacquet","year":"2016","unstructured":"Jacquet, J.-M., Linden, I., Staicu, M.-O.: Blackboard rules: from a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks. Sci. Comput. Program. 115\u2013116, 79\u201399 (2016)","journal-title":"Science of Computer Programming"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.scico.2015.10.011","volume":"115-116","author":"Jean-Marie Jacquet","year":"2016","unstructured":"Jacquet, J.M., Linden, I., Darquennes, D.: On the introduction of density in tuple-space coordination languages. Sci. Comput. Program. 115\u2013116, 149\u2013176 (2016)","journal-title":"Science of Computer Programming"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33427-6_1","volume-title":"Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with Reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol. 7592, pp. 1\u201316. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33427-6_1"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-24634-3_18","volume-title":"Coordination Models and Languages","author":"I Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M.: On the expressiveness of absolute-time coordination languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 232\u2013247. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_18"},{"issue":"2","key":"4_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2006.10.047","volume":"180","author":"I Linden","year":"2007","unstructured":"Linden, I., Jacquet, J.-M.: On the expressiveness of timed coordination via shared dataspaces. Electron. Not. Theoret. Comput. Sci. 180(2), 71\u201389 (2007)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2004.04.034","volume":"97","author":"I Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M., De Bosschere, K., Brogi, A.: On the expressiveness of relative-timed coordination models. Electron. Not. Theoret. Comput. Sci. 97, 125\u2013153 (2004)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.scico.2005.10.011","volume":"61","author":"I Linden","year":"2006","unstructured":"Linden, I., Jacquet, J.-M., De Bosschere, K., Brogi, A.: On the expressiveness of timed coordination models. Sci. Comput. Program. 61(2), 152\u2013187 (2006)","journal-title":"Sci. Comput. Program."},{"key":"4_CR28","series-title":"Artificial Intelligence: Foundations, Theory, and Algorithms","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47109-9","volume-title":"Coordination of Complex Sociotechnical Systems - Self-organisation of Knowledge in MoK","author":"S Mariani","year":"2016","unstructured":"Mariani, S.: Coordination of Complex Sociotechnical Systems - Self-organisation of Knowledge in MoK. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47109-9"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2007.03.006","volume":"175","author":"A Omicini","year":"2007","unstructured":"Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Not. Theoret. Comput. Sci. 175(2), 97\u2013117 (2007)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/BFb0084811","volume-title":"CONCUR \u201992","author":"E Shapiro","year":"1992","unstructured":"Shapiro, E.: Embeddings among concurrent programming languages. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 486\u2013503. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0084811"},{"issue":"2\u20133","key":"4_CR31","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0167-6423(97)00027-0","volume":"31","author":"R Tolksdorf","year":"1998","unstructured":"Tolksdorf, R.: Laura - a service-based coordination language. Sci. Comput. Program. 31(2\u20133), 359\u2013381 (1998)","journal-title":"Sci. Comput. Program."},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-02053-7_8","volume-title":"Coordination Models and Languages","author":"M Viroli","year":"2009","unstructured":"Viroli, M., Casadei, M.: Biochemical tuple spaces for self-organising coordination. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 143\u2013162. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02053-7_8"},{"key":"4_CR33","unstructured":"Zavattaro, G.: On the incomparability of Gamma and Linda. In: Electronic Transactions on Numerical Analysis (1998)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/S1571-0661(04)00125-2","volume":"16","author":"G Zavattaro","year":"1998","unstructured":"Zavattaro, G.: Towards a hierarchy of negative test operators for generative communication. Electron. Not. Theoret. Comput. Sci. 16, 154\u2013170 (1998)","journal-title":"Electron. Not. Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92408-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:26:31Z","timestamp":1654734391000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92408-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924076","9783319924083"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92408-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"27 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}