{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:10:07Z","timestamp":1748815807217,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662494974"},{"type":"electronic","value":"9783662494981"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49498-1_13","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T13:36:06Z","timestamp":1458567366000},"page":"310-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Coordinated Concurrent Programming in Syndicate"],"prefix":"10.1007","author":[{"given":"Tony","family":"Garnock-Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Patterns in Network Architecture: A Return to Fundamentals","author":"J Day","year":"2008","unstructured":"Day, J.: Patterns in Network Architecture: A Return to Fundamentals. Prentice Hall, Indianapolis (2008)"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/978-3-642-54833-8_25","volume-title":"Programming Languages and Systems","author":"Tony Garnock-Jones","year":"2014","unstructured":"Garnock-Jones, T., Tobin-Hochstadt, S., Felleisen, M.: The network as a language construct. In: European Symposium on Programming, pp. 473\u2013492 (2014)"},{"key":"13_CR3","unstructured":"ECMA: ECMA-262: ECMAScrippt 2015 Language Specification. 6th edn. Ecma International (2015)"},{"key":"13_CR4","unstructured":"Flatt, M., PLT:Reference: Racket.Technical Report PLT-TR-2010-1, PLT Inc. (2010). http:\/\/racket-lang.org\/tr1\/"},{"issue":"2","key":"13_CR5","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 Comp. Surv. 35(2), 114\u2013131 (2003)","journal-title":"ACM Comp. Surv."},{"issue":"139","key":"13_CR6","first-page":"8","volume":"2005","author":"R Love","year":"2005","unstructured":"Love, R.: Kernel korner: Intro to inotify. Linux J. 2005(139), 8 (2005)","journal-title":"Linux J."},{"key":"13_CR7","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. Ph.D. thesis, Royal Institute of Technology, Stockholm (2003)"},{"issue":"9","key":"13_CR8","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E Fredkin","year":"1960","unstructured":"Fredkin, E.: Trie memory. Comm. ACM 3(9), 490\u2013499 (1960)","journal-title":"Comm. ACM"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1516512.1516518","volume":"56","author":"R Alur","year":"2009","unstructured":"Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3), 16:1\u201316:43 (2009)","journal-title":"J. ACM"},{"key":"13_CR10","unstructured":"Goubault, J.: Implementing functional languages with fast equality, sets and maps: an exercise in hash consing. Bull S.A. Research Center, Technical report (1994)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/141484.130333","volume":"21","author":"D Terry","year":"1992","unstructured":"Terry, D., Goldberg, D., Nichols, D., Oki, B.: Continuous queries over append-only databases. ACM SIGMOD Record 21, 321\u2013330 (1992)","journal-title":"ACM SIGMOD Record"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Babcock, B., Babu, S., Datar, M., Motwani, R., Widom, J.: Models and issues in data stream systems. In: Symposium on Principles of Database Systems, Madison, Wisconsin (2002)","DOI":"10.1145\/543613.543615"},{"key":"13_CR13","volume-title":"The Java Language Specification","author":"J Gosling","year":"2013","unstructured":"Gosling, J., Joy, B., Steele Jr, G.L., Bracha, G., Buckley, A.: The Java Language Specification, Java SE 7 edn. Addison-Wesley Professional, Redwood (2013)","edition":"Java SE 7"},{"key":"13_CR14","unstructured":"ISO: ISO\/IEC 14882: 2011 Information technology \u2013 Programming languages \u2013 C++. International Organization for Standardization (2012)"},{"key":"13_CR15","unstructured":"Samimi, H.: A Distributed Text Field in Bloom (2013). http:\/\/www.hesam.us\/cs\/cooplangs\/textfield.pdf"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"GA Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for Actor computation. J. Func. Prog. 7(1), 1\u201372 (1997)","journal-title":"J. Func. Prog."},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1006\/jpdc.1994.1060","volume":"21","author":"CJ Callsen","year":"1994","unstructured":"Callsen, C.J., Agha, G.: Open heterogeneous computing in ActorSpace. J. Parallel Distrib. Comput. 21(3), 289\u2013300 (1994)","journal-title":"J. Parallel Distrib. Comput."},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-48919-3_13","volume-title":"Coordination Languages and Models","author":"CA Varela","year":"1999","unstructured":"Varela, C.A., Agha, G.: A hierarchical model for coordination of concurrent activities. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 166\u2013182. Springer, Heidelberg (1999)"},{"key":"13_CR19","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-642-27269-1_2","volume-title":"Formal Aspects of Component Software","author":"Lu\u00eds Caires","year":"2012","unstructured":"Caires, L., Vieira, H.T.: Analysis of service oriented software systems with the Conversation Calculus. In: Seventh International Conference on Formal Aspects of Component Software, pp. 6\u201333 (2010)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"HT Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: The conversation calculus: a model of service-oriented computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theor. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR22","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: a language for distributed mobile programming. In: Applied Semantics: International Summer School (2000)"},{"key":"13_CR23","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":"2\u20133","key":"13_CR24","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2\u20133), 202\u2013220 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR25","unstructured":"Miller, M.S.: Robust composition: Towards a unified approach to access control and concurrency control. Ph.D. thesis, Johns Hopkins University (2006)"},{"issue":"3\u20134","key":"13_CR26","first-page":"112","volume":"40","author":"T Cutsem Van","year":"2014","unstructured":"Van Cutsem, T., Gonzalez Boix, E., Scholliers, C., Lombide Carreton, A., Harnie, D., Pinte, K., De Meuter, W.: AmbientTalk: programming responsive mobile peer-to-peer applications with actors. Comput. Lang. Syst. Struct. 40(3\u20134), 112\u2013136 (2014)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"2","key":"13_CR27","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. Comm. ACM 35(2), 97\u2013107 (1992)","journal-title":"Comm. ACM"},{"issue":"1","key":"13_CR28","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":"13_CR29","doi-asserted-by":"crossref","unstructured":"Reppy, J.H.: CML: a higher-order concurrent language. In: Conference on Programming Language Design and Implementation, pp. 293\u2013305 (1991)","DOI":"10.1145\/113446.113470"},{"issue":"3","key":"13_CR30","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/71.372777","volume":"6","author":"DE Bakken","year":"1995","unstructured":"Bakken, D.E., Schlichting, R.D.: Supporting fault-tolerant parallel programming in Linda. IEEE Trans. Parallel Dist. Syst. 6(3), 287\u2013302 (1995)","journal-title":"IEEE Trans. Parallel Dist. Syst."},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Rowstron, A.: Using agent wills to provide fault-tolerance in distributed shared memory systems. In: Parallel and Distributed Processing, pp. 317\u2013324 (2000)","DOI":"10.1109\/EMPDP.2000.823426"},{"issue":"5","key":"13_CR32","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"13_CR33","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"AL Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.C.: LIME: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279\u2013328 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"13_CR34","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"key":"13_CR35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"JH Reppy","year":"1999","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"key":"13_CR36","unstructured":"Sklower, K.: A tree-based packet routing table for Berkeley Unix. In: USENIX Winter Conference (1991)"},{"key":"13_CR37","unstructured":"Baldoni, R., Querzoni, L., Virgillito, A.: Distributed event routing in publish\/subscribe communication systems: a survey. Technical Report 15\u201305, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienzia\u201d (2005)"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Alur, R.: Marrying words and trees. In: Symposium on Principles of Database Systems, pp. 233\u2013242 (2007)","DOI":"10.1145\/1265530.1265564"},{"key":"13_CR39","doi-asserted-by":"crossref","unstructured":"Mozafari, B., Zeng, K., Zaniolo, C.: High-performance complex event processing over XML streams. In: ACM SIGMOD International Conference on Management of Data, pp. 253\u2013264 (2012)","DOI":"10.1145\/2213836.2213866"},{"issue":"4","key":"13_CR40","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1145\/958942.958947","volume":"28","author":"Y Diao","year":"2003","unstructured":"Diao, Y., Altinel, M., Franklin, M.J., Zhang, H., Fischer, P.: Path sharing and predicate evaluation for high-performance XML filtering. ACM Trans. Database Syst. 28(4), 467\u2013516 (2003)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"13_CR41","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1017\/S0956796800003713","volume":"10","author":"R Hinze","year":"2000","unstructured":"Hinze, R.: Generalizing generalized tries. J. Func. Prog. 10(4), 327\u2013351 (2000)","journal-title":"J. Func. Prog."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49498-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:35:24Z","timestamp":1748813724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49498-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662494974","9783662494981"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49498-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}