{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:02:57Z","timestamp":1743123777146,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223960"},{"type":"electronic","value":"9783030223977"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22397-7_5","type":"book-chapter","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:14:14Z","timestamp":1559672054000},"page":"75-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Scan: A Simple Coordination Workbench"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9531-0519","authenticated-orcid":false,"given":"Jean-Marie","family":"Jacquet","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2608-5658","authenticated-orcid":false,"given":"Manel","family":"Barkallah","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,5]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S1571-0661(04)00118-5","volume":"16","author":"A Brogi","year":"1998","unstructured":"Brogi, A., Jacquet, J.M.: On the expressiveness of Linda-like concurrent languages. Electron. Notes Theoret. Comput. Sci. 16(2), 61\u201382 (1998)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"1\u20132","key":"5_CR2","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."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-89287-8_4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency I","author":"F Calzolai","year":"2008","unstructured":"Calzolai, F., De Nicola, R., Loreti, M., Tiezzi, F.: TAPAs: a tool for the analysis of process algebras. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency I. LNCS, vol. 5100, pp. 54\u201370. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89287-8_4"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM 32(4), 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-36742-7_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Cranen","year":"2013","unstructured":"Cranen, S., et al.: An overview of the mCRL2 toolset and its recent advances. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 199\u2013213. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36742-7_15"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-030-04771-9_25","volume-title":"Software Technologies: Applications and Foundations","author":"R Cruz","year":"2018","unstructured":"Cruz, R., Proen\u00e7a, J.: ReoLive: analysing connectors in your browser. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 336\u2013350. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_25"},{"key":"5_CR7","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":"5_CR8","first-page":"149","volume":"115","author":"D Darquennes","year":"2013","unstructured":"Darquennes, D., Jacquet, J.M., Linden, I.: On the introduction of density in tuple-space coordination languages. Sci. Comput. Program. 115, 149\u2013176 (2013)","journal-title":"Sci. Comput. Program."},{"key":"5_CR9","series-title":"EPTCS","first-page":"36","volume-title":"Foundations of Coordination Languages and Self-Adaptive Systems","author":"D 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.) Foundations of Coordination Languages and Self-Adaptive Systems. EPTCS, vol. 175, pp. 36\u201353. Springer, Rome (2015)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-92408-3_4","volume-title":"Coordination Models and Languages","author":"D Darquennes","year":"2018","unstructured":"Darquennes, D., Jacquet, J.M., Linden, I.: On multiplicities in tuple-based coordination languages: the bach family of languages and its expressiveness study. In: Serugendo, G.D.M., Loreti, M. (eds.) Coordination 2018. LNCS, vol. 10852, pp. 81\u2013109. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92408-3_4"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dukielska, M., Sroka, J.: JavaSpaces NetBeans: a linda workbench for distributed programming course. In: Ayfer, R., Impagliazzo, J., Laxer, C. (eds.) Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, pp. 23\u201327. ACM (2010)","DOI":"10.1145\/1822090.1822099"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 995\u20131072. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/356810.356816","volume":"12","author":"L Erman","year":"1980","unstructured":"Erman, L., Hayes-Roth, F., Lesser, V., Reddy, D.: The Hearsay-II speech-understanding system: integrating knowledge to resolve uncertainty. ACM Comput. Surv. 12(2), 213 (1980)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-45263-X_6","volume-title":"Coordination Languages and Models","author":"J-M Jacquet","year":"2000","unstructured":"Jacquet, J.-M., De Bosschere, K., Brogi, A.: On timed coordination languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 81\u201398. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45263-X_6"},{"key":"5_CR16","unstructured":"Jacquet, J.M., Linden, I.: Coordinating context-aware applications in mobile ad-hoc networks. In: Braun, T., Konstantas, D., Mascolo, S., Wulff, M. (eds.) Proceedings of the First ERCIM Workshop on eMobility, pp. 107\u2013118. The University of Bern (2007)"},{"issue":"2\u20133","key":"5_CR17","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2008.09.020","volume":"410","author":"JM Jacquet","year":"2009","unstructured":"Jacquet, J.M., Linden, I.: Fully abstract models and refinements as tools to compare agents in timed coordination languages. Theor. Comput. Sci. 410(2\u20133), 221\u2013253 (2009)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TSC.2011.46","volume":"6","author":"N Kokash","year":"2013","unstructured":"Kokash, N., Arbab, F.: Formal design and verification of long-running transactions with extensible coordination tools. IEEE Trans. Serv. Comput. 6(2), 186\u2013200 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. Theor. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-92408-3_9","volume-title":"Coordination Models and Languages","author":"E K\u00fchn","year":"2018","unstructured":"K\u00fchn, E., Radschek, S., Elaraby, N.: Distributed coordination runtime assertions for the peer model. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 200\u2013219. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92408-3_9"},{"key":"5_CR21","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":"5_CR22","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. Notes Theor. Comput. Sci. 180(2), 71\u201389 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR23","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., Bosschere, K.D., Brogi, A.: On the expressiveness of relative-timed coordination models. Electron. Notes Theor. Comput. Sci. 97, 125\u2013153 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR24","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala, A comprehensive step-by-step guide. Artemis (2016)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Rimassa, G., Viroli, M.: Integrating objective & subjective coordination in FIPA: a roadmap to TuCSoN. In: Armano, G., Paoli, F.D., Omicini, A., Vargiu, E. (eds.) Proceedings of the 4th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d: Intelligent Systems and Pervasive Computing, pp. 85\u201391. Pitagora Editrice Bologna (2003)","DOI":"10.1145\/967900.967995"},{"key":"5_CR26","unstructured":"Papadopoulos, G., Arbab, F.: Coordination models and languages. Technical report SEN-R9834. Centrum voor Wiskunde en Informatica (CWI), ISSN 1386-369X (1998)"},{"key":"5_CR27","volume-title":"Processing: A Programming Handbook for Visual Designers","author":"C Reas","year":"2014","unstructured":"Reas, C., Fry, B.: Processing: A Programming Handbook for Visual Designers. The MIT Press, Cambridge (2014)"},{"key":"5_CR28","unstructured":"Reynolds, M.: A Traditional Tree-style Tableau for LTL. CoRR arXiv:1604.03962 (2016)"}],"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-030-22397-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:02:30Z","timestamp":1685836950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-22397-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223960","9783030223977"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22397-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 June 2019","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":"Kongens Lyngby","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/coordination","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"}]}}