{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:49Z","timestamp":1762458889640,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214639"},{"type":"electronic","value":"9783642214646"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21464-6_3","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T02:55:55Z","timestamp":1307415355000},"page":"31-48","source":"Crossref","is-referenced-by-count":11,"title":["Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","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. Mathematical Structures in Computer Science\u00a014, 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","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. Science of Computer Programming\u00a061(2), 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","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. Science of Computer Programming\u00a066(3), 205\u2013225 (2007)","journal-title":"Science of Computer Programming"},{"key":"3_CR4","series-title":"LNCS","volume-title":"Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)","author":"B. Pourvatan","year":"2011","unstructured":"Pourvatan, B., Sirjani, M., Arbab, F., Bonsangue, M.: Decomposition of constraint automata. In: Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010). LNCS. Springer, Heidelberg (to appear, 2011)"},{"key":"3_CR5","unstructured":"Costa, D.: Formal Models for Component Connectors. PhD thesis, Vrije Universiteit Amsterdam (2010)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Krause, C., Arbab, F.: Encoding context-sensitivity in Reo into non-context-sensitive semantic models. Technical Report SEN-1105, Centrum Wiskunde & Informatica (2011)","DOI":"10.1007\/978-3-642-21464-6_3"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-04167-9_5","volume-title":"Formal Methods for Components and Objects","author":"C. Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: Formal verification for components and connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 82\u2013101. Springer, Heidelberg (2009)"},{"key":"3_CR8","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.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-02053-7_10","volume-title":"Coordination Models and Languages","author":"M.M. Bonsangue","year":"2009","unstructured":"Bonsangue, M.M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 184\u2013203. Springer, Heidelberg (2009)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-17071-3_2","volume-title":"Formal Methods for Components and Objects","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Verification of context-dependent channel-based service models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 21\u201340. Springer, Heidelberg (2010)"},{"key":"3_CR11","first-page":"103","volume":"255","author":"S. Kemper","year":"2009","unstructured":"Kemper, S.: SAT-based verification for timed component connectors. ENTCS\u00a0255, 103\u2013118 (2009)","journal-title":"ENTCS"},{"issue":"1","key":"3_CR12","first-page":"83","volume":"154","author":"M.R. Mousavi","year":"2006","unstructured":"Mousavi, M.R., Sirjani, M., Arbab, F.: Formal semantics and analysis of component connectors in Reo. ENTCS\u00a0154(1), 83\u201399 (2006)","journal-title":"ENTCS"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-68265-3_11","volume-title":"Coordination Models and Languages","author":"R. Khosravi","year":"2008","unstructured":"Khosravi, R., Sirjani, M., Asoudeh, N., Sahebi, S., Iravanchi, H.: Modeling and analysis of Reo connectors using Alloy. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 169\u2013183. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21464-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:15:11Z","timestamp":1560244511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21464-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214639","9783642214646"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21464-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}