{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:31Z","timestamp":1762460251094,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-90089-6_15","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"224-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending Paradigm with Data"],"prefix":"10.1007","author":[{"given":"Luuk P. J.","family":"Groenewegen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan H. S.","family":"Verschuren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9514-2260","authenticated-orcid":false,"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"issue":"8","key":"15_CR1","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/j.scico.2010.04.011","volume":"76","author":"S Andova","year":"2011","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Dynamic consistency in process algebra: from Paradigm to ACP. Sci. Comput. Program. 76(8), 711\u2013735 (2011)","journal-title":"Sci. Comput. Program."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.scico.2013.11.034","volume":"94","author":"S Andova","year":"2014","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94, 333\u2013361 (2014)","journal-title":"Sci. Comput. Program."},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-61052-9_38","volume-title":"Coordination Languages and Models","author":"F Arbab","year":"1996","unstructured":"Arbab, F.: The IWIM model for coordination of concurrent activities. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 34\u201356. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61052-9_38"},{"issue":"1","key":"15_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F Arbab","year":"1993","unstructured":"Arbab, F., Herman, I., Spilling, P.: An overview of Manifold and its implementation. Concurr. - Pract. Exp. 5(1), 23\u201370 (1993)","journal-title":"Concurr. - Pract. Exp."},{"issue":"2","key":"15_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"15_CR6","first-page":"2","volume":"9","author":"R Banach","year":"2003","unstructured":"Banach, R., Arbab, F., Papadopoulos, G.A., Glauert, J.R.W.: A multiply hierarchical automaton semantics for the IWIM coordination model. J. Univers. Comput. Sci. 9(1), 2\u201333 (2003)","journal-title":"J. Univers. Comput. Sci."},{"issue":"1","key":"15_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","volume":"240","author":"MM Bonsangue","year":"2000","unstructured":"Bonsangue, M.M., Arbab, F., de Bakker, J.W., Rutten, J.J.M.M., Secutella, A., Zavattaro, G.: A transition system semantics for the control-driven coordination language Manifold. Theoret. Comput. Sci. 240(1), 3\u201347 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR8","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., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., de Vink, E.P., Wesselink, W., Willemse, T.A.C.: 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":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46000-4_20","volume-title":"Coordination Models and Languages","author":"L Groenewegen","year":"2002","unstructured":"Groenewegen, L., de Vink, E.: Operational semantics for coordination in Paradigm. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 191\u2013206. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46000-4_20"},{"key":"15_CR10","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":"15_CR11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.scico.2015.09.001","volume":"115\u2013116","author":"S-STQ Jongmans","year":"2016","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Global consensus through local synchronization: a formal basis for partially-distributed coordination. Sci. Comput. Program. 115\u2013116, 199\u2013224 (2016)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T09:12:53Z","timestamp":1571303573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}