{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:24:10Z","timestamp":1777519450377,"version":"3.51.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319289335","type":"print"},{"value":"9783319289342","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_12","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T15:32:56Z","timestamp":1453995176000},"page":"217-236","source":"Crossref","is-referenced-by-count":3,"title":["Composing Constraint Automata, State-by-State"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Kapp\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"issue":"3","key":"12_CR1","first-page":"329","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS 14(3), 329\u2013366 (2004)","journal-title":"MSCS"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"F Arbab","year":"2011","unstructured":"Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169\u2013206. Springer, Heidelberg (2011)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","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. 5521, pp. 247\u2013267. Springer, Heidelberg (2009)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-16561-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"C Baier","year":"2010","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S., Leister, W.: Design and verification of systems with exogenous coordination using Vereofy. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 97\u2013111. Springer, Heidelberg (2010)"},{"issue":"2","key":"12_CR5","first-page":"75","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. SCP 61(2), 75\u2013113 (2006)","journal-title":"SCP"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","volume-title":"Protocol Specification, Testing and Verification XV","author":"R. Gerth","year":"1996","unstructured":"Gerth, R., Peled, D., Vardi, M., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: PSTV 1995, pp. 3\u201318 (1995)"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/j.entcs.2005.12.064","volume":"159","author":"Fatemeh Ghassemi","year":"2006","unstructured":"Ghassemi, F., Tasharofi, S., Sirjani, M.: Automated mapping of Reo circuits to constraint automata. In: FSEN 2005, ENTCS, vol. 159, pp. 99\u2013115 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation (2001)","DOI":"10.1145\/568438.568455"},{"issue":"1","key":"12_CR9","first-page":"201","volume":"22","author":"SS Jongmans","year":"2012","unstructured":"Jongmans, S.S., 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":"12_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.4204\/EPTCS.166.5","volume":"166","author":"Sung-Shik T.Q. Jongmans","year":"2014","unstructured":"Jongmans, S.S., Arbab, F.: Toward sequentializing overparallelized protocol code. In: ICE 2014, EPTCS, vol. 166, pp. 38\u201344 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-319-24644-4_17","volume-title":"FSEN 2015","author":"SS Jongmans","year":"2015","unstructured":"Jongmans, S.S., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 238\u2013258. Springer, Heidelberg (2015)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Kapp\u00e9, T., Arbab, F.: Composing constraint automata, state-by-state (Technical report). Technical report FM-1506, CWI (2015)","DOI":"10.1007\/978-3-319-28934-2_12"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24431-5_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"J Klein","year":"2011","unstructured":"Klein, J., Kl\u00fcppelholz, S., Stam, A., Baier, C.: Hierarchical modeling and formal verification. An industrial case study using Reo and Vereofy. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol. 6959, pp. 228\u2013243. Springer, Heidelberg (2011)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-75698-9_29","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"B Pourvatan","year":"2007","unstructured":"Pourvatan, B., Rouhy, N.: An alternative algorithm for constraint automata product. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 412\u2013422. Springer, Heidelberg (2007)"},{"key":"12_CR15","unstructured":"Proen\u00e7a, J.: Synchronous coordination of distributed components. Ph.D. thesis, Leiden University (2011)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: Rigorous system design. In: PODC 2014, p. 292 (2014)","DOI":"10.1145\/2611462.2611517"}],"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-28934-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T12:14:25Z","timestamp":1559391265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}