{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:25:19Z","timestamp":1725884719579},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_12","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:18:42Z","timestamp":1491999522000},"page":"191-209","source":"Crossref","is-referenced-by-count":0,"title":["(Context-Sensitivity In) Reo, Revisited"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comp. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comp. Sci."},{"issue":"1\u20133","key":"12_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1\u20133), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-46000-4_6","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 22\u201339. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46000-4_6"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34\u201355. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-40020-2_2"},{"issue":"2","key":"12_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.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"66","key":"12_CR6","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1016\/j.scico.2011.01.006","volume":"77","author":"M Bonsangue","year":"2012","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: A model of context-dependent component connectors. Sci. Comput. Program. 77(66), 685\u2013706 (2012)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"12_CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"key":"12_CR8","unstructured":"Costa, D.: Formal models for component connectors. Ph.D. thesis, Vrije Universiteit Amsterdam (2010)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-21464-6_3","volume-title":"Coordination Models and Languages","author":"S-STQ Jongmans","year":"2011","unstructured":"Jongmans, S.-S.T.Q., Krause, C., Arbab, F.: Encoding context-sensitivity in Reo into non-context-sensitive semantic models. In: Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 31\u201348. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21464-6_3"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Koehler, C., Clarke, D.: Decomposing port automata. In: Proceedings of SAC 2009, pp. 1369\u20131373. ACM (2009)","DOI":"10.1145\/1529282.1529587"},{"key":"12_CR11","unstructured":"Mousavi, M.R., Sirjani, M., Arbab, F.: Specification, simulation, and verification of component connectors in Reo. Technical report CSR-0415, Eindhoven University of Technology (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T14:43:40Z","timestamp":1498401820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}