{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:57:30Z","timestamp":1743105450818,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_18","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"287-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Capturing Stochastic and Real-Time Behavior in\u00a0Reo Connectors"],"prefix":"10.1007","author":[{"given":"Yi","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiyue","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuanyi","family":"Ji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"18_CR1","unstructured":"The JANI specification of the jani-model format and the jani-interaction protocol. \nhttp:\/\/www.jani-spec.org\/"},{"issue":"3","key":"18_CR2","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. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"18_CR3","doi-asserted-by":"crossref","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.S., Rutten, J.J.M.M.: Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1), 59\u201382 (2007)","journal-title":"Softw. Syst. Model."},{"key":"18_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., Mei, R., Meng, S., Moon, Y.J., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 268\u2013287. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02053-7_14"},{"issue":"10","key":"18_CR5","first-page":"1718","volume":"11","author":"C Baier","year":"2005","unstructured":"Baier, C.: Probabilistic models for Reo connector circuits. J. Univ. Comput. Sci. 11(10), 1718\u20131748 (2005)","journal-title":"J. Univ. Comput. Sci."},{"issue":"2","key":"18_CR6","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."},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767954_1","volume-title":"Coordination Models and Languages","author":"C Baier","year":"2006","unstructured":"Baier, C., Wolf, V.: Stochastic reasoning about channel-based component connectors. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 1\u201315. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11767954_1"},{"key":"18_CR8","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H.: Reachability and reward checking for stochastic timed automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-319-06410-9_22","volume-title":"FM 2014: Formal Methods","author":"EM Hahn","year":"2014","unstructured":"Hahn, E.M., Li, Y., Schewe, S., Turrini, A., Zhang, L.: iscasMc: a web-based probabilistic model checker. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 312\u2013317. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06410-9_22"},{"key":"18_CR10","unstructured":"Hartmanns, A.: Modest a unified language for quantitative models. In: Proceedings of FDL 2012, pp. 44\u201351. IEEE (2012)"},{"issue":"1","key":"18_CR11","first-page":"201","volume":"22","author":"SSTQ Jongmans","year":"2012","unstructured":"Jongmans, S.S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"18_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4302-2470-9","volume-title":"Introducing Windows Azure","author":"H Li","year":"2009","unstructured":"Li, H.: Introducing Windows Azure. Apress, Berkely (2009)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Meng, S.: Connectors as designs: the time dimension. In: Proceedings of TASE 2012, pp. 201\u2013208. IEEE Computer Society (2012)","DOI":"10.1109\/TASE.2012.36"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-72952-5_19","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"S Meng","year":"2007","unstructured":"Meng, S., Arbab, F.: On resource-sensitive timed component connectors. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 301\u2013316. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-72952-5_19"},{"issue":"4","key":"18_CR15","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015)","journal-title":"Commun. ACM"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4204\/EPTCS.228.5","volume":"228","author":"N Oliveira","year":"2016","unstructured":"Oliveira, N., Barbosa, L.S.: An enhanced model for stochastic coordination. Electron. Proc. Theor. Comput. Sci. 228, 35\u201345 (2016)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-24634-3_11","volume-title":"Coordination Models and Languages","author":"A Pierro","year":"2004","unstructured":"Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 119\u2013134. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24634-3_11"},{"issue":"7","key":"18_CR18","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. Comput. J. 38(7), 578\u2013589 (1995)","journal-title":"Comput. J."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T10:50:43Z","timestamp":1515408643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}