{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:44:50Z","timestamp":1778215490790,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319246437","type":"print"},{"value":"9783319246444","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-24644-4_17","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:34:39Z","timestamp":1443072879000},"page":"238-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"issue":"3","key":"17_CR1","first-page":"329","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS\u00a014(3), 329\u2013366 (2004)","journal-title":"MSCS"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Arbab, F.: Puff, The Magic Protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Talcott Festschrift. LNCS, vol.\u00a07000, pp. 169\u2013206. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4_9"},{"key":"17_CR3","series-title":"CCIS","first-page":"108","volume-title":"ISoLA 2008","author":"F. Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards Using Reo for Compliance-Aware Business Process Modeling. In: ISoLA 2008. CCIS, vol.\u00a017, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"issue":"2","key":"17_CR4","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\u00a061(2), 75\u2013113 (2006)","journal-title":"SCP"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006, pp. 3\u201312. IEEE (2006)","DOI":"10.1109\/SEFM.2006.27"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s10703-010-0091-z","volume":"36","author":"S. Bliudze","year":"2010","unstructured":"Bliudze, S., Sifakis, J.: Causal semantics for the algebra of connectors. Formal Methods in System Design\u00a036(2), 167\u2013194 (2010)","journal-title":"Formal Methods in System Design"},{"key":"17_CR7","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A Unified Toolset for Business Process Model Formalization. In: Preproceedings of FESCA 2010, pp. 147\u2013156 (2010)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press (2014)","DOI":"10.7551\/mitpress\/9946.001.0001"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Arbab, F.: Global Consensus through Local Synchronization. In: FOCLASA 2013. CCIS, vol.\u00a0393, pp. 174\u2013188. Springer (2013)","DOI":"10.1007\/978-3-642-45364-9_15"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Arbab, F.: Modularizing and Specifying Protocols among Threads. In: PLACES 2012. EPTCS, vol.\u00a0109, pp. 34\u201345. CoRR (2013)","DOI":"10.4204\/EPTCS.109.6"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Arbab, F.: Toward Sequentializing Overparallelized Protocol Code. In: ICE 2014. EPTCS, vol.\u00a0166, pp. 38\u201344. CoRR (2014)","DOI":"10.4204\/EPTCS.166.5"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Arbab, F.: Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code (Technical Report). Tech. Rep. FM-1503, CWI (2015)","DOI":"10.1007\/978-3-319-24644-4_17"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-662-43376-8_5","volume-title":"Coordination Models and Languages","author":"S.S. Jongmans","year":"2014","unstructured":"Jongmans, S.S., Halle, S., Arbab, F.: Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol.\u00a08459, pp. 65\u201382. Springer, Heidelberg (2014)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S., Santini, F., Arbab, F.: Partially-Distributed Coordination with Reo. In: PDP 2014, pp. 697\u2013706. IEEE (2014)","DOI":"10.1109\/PDP.2014.19"},{"issue":"8","key":"17_CR15","first-page":"651","volume":"76","author":"S. Meng","year":"2011","unstructured":"Meng, S., Arbab, F., Baier, C.: Synthesis of Reo circuits from scenario-based interaction specifications. SCP\u00a076(8), 651\u2013680 (2011)","journal-title":"SCP"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: SAC 2012, pp. 1510\u20131515. ACM (2012)","DOI":"10.1145\/2245276.2232017"},{"key":"17_CR17","unstructured":"Proen\u00e7a, J.: Synchronous Coordination of Distributed Components. Ph.D. thesis, Leiden University (2011)"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11767954_18","volume-title":"Coordination Models and Languages","author":"M. Sirjani","year":"2006","unstructured":"Sirjani, M., Jaghoori, M.M., Baier, C., Arbab, F.: Compositional Semantics of an Actor-Based Language Using Constraint Automata. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 281\u2013297. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24644-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:53:11Z","timestamp":1748634791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246437","9783319246444"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24644-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}