{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:02:05Z","timestamp":1742994125575,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_2","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"21-40","source":"Crossref","is-referenced-by-count":12,"title":["Verification of Context-Dependent Channel-Based Service Models"],"prefix":"10.1007","author":[{"given":"Natallia","family":"Kokash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","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: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 34\u201356. Springer, Heidelberg (1996)"},{"key":"2_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, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"2_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 coloring I: Synchronization and context dependency. Science of Computer Programming\u00a066(3), 205\u2013225 (2007)","journal-title":"Science of Computer Programming"},{"key":"2_CR4","unstructured":"Arbab, F., Koehler, C., Maraikar, Z., Moon, Y., Proenca, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: Tool demo session at FACS (2008)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-02053-7_13","volume-title":"Coordination Models and Languages","author":"C. Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: A uniform framework for modeling and verifying components and connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 268\u2013287. Springer, Heidelberg (2009)"},{"key":"2_CR6","first-page":"2406","volume-title":"Proc. SAC 2010","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.: Data-aware design and verification of service composition with Reo and mCRL2. In: Shin, S.Y., et al. (eds.) Proc. SAC 2010, pp. 2406\u20132413. ACM, New York (2010)"},{"key":"2_CR7","unstructured":"Groote, J., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems, IBFI, Schloss Dagstuhl (2007)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"2_CR9","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"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Baeten, J., Basten, T., Reniers, M.: Process Algebra: Equational Theories of Communicating Processes. Number\u00a050 in Cambridge Tracts in Theoretical Computer Science. CUP (2010)","DOI":"10.1017\/CBO9781139195003"},{"key":"2_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"2_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)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-11623-0_15","volume-title":"Fundamentals of Software Engineering","author":"M. Bonsangue","year":"2010","unstructured":"Bonsangue, M., Izadi, M.: Automata based model checking for Reo connectors. In: Arbab, F., Sirjani, M. (eds.) Fundamentals of Software Engineering. LNCS, vol.\u00a05961, pp. 260\u2013275. Springer, Heidelberg (2010)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2009.10.027","volume":"255","author":"S. Kemper","year":"2009","unstructured":"Kemper, S.: SAT-based verification for timed component connectors. Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0255, 103\u2013118 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logical specifications for timed component connectors. Software and Systems Modeling\u00a06(1), 59\u201382 (2007)","journal-title":"Software and Systems Modeling"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:56:50Z","timestamp":1559786210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}