{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:33:22Z","timestamp":1742394802250},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"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-16901-4_9","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T12:40:06Z","timestamp":1289220006000},"page":"106-121","source":"Crossref","is-referenced-by-count":6,"title":["A Semantic Model for Service Composition with Coordination Time Delays"],"prefix":"10.1007","author":[{"given":"Natallia","family":"Kokash","sequence":"first","affiliation":[]},{"given":"Behnaz","family":"Changizi","sequence":"additional","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_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"},{"key":"9_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"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Sun, M., Moon, Y.J.: Component connectors with QoS guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-02053-7_14","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Chothia, T., van der Mei, R., Sun, M., Moon, Y., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 268\u2013287. Springer, Heidelberg (2009)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-642-17071-3_2","volume-title":"FMCO 2009","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.: Verification of context-dependent channel-based service models. In: de Boer, F.S. (ed.) FMCO 2009. LNCS, vol.\u00a06286, pp. 21\u201340. Springer, Heidelberg (2010)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Chothia, T., Kleijn, J.: Q-automata: Modelling the resource usage of concurrent components. In: Proc. FOCLASA 2006, pp. 79\u201394 (2007)","DOI":"10.1016\/j.entcs.2007.03.009"},{"key":"9_CR7","first-page":"2406","volume-title":"Proc. of 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: Proc. of SAC 2010, pp. 2406\u20132413. ACM Press, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T23:44:00Z","timestamp":1553211840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}