{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:58:44Z","timestamp":1742961524179,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_7","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"101-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations"],"prefix":"10.1007","author":[{"given":"Kiko","family":"Fernandez-Reyes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel S.","family":"McCain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"26","DOI":"10.4204\/EPTCS.36.2","volume":"36","author":"Musab AlTurki","year":"2010","unstructured":"AlTurki, M., Meseguer, J.: Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis. In: \u00d6lveczky, P.C., (ed.) Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, 6\u20139 April, 2010, vol. 36 of EPTCS, pp. 26\u201345. Longyearbyen, Norway (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods for Multicore Programming","author":"S Brandauer","year":"2015","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language encore. In: Bernardo, M., Johnsen, E.B. (eds.) Formal Methods for Multicore Programming. LNCS, pp. 1\u201356. Springer, Switzerland (2015)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2009.10.024","volume":"255","author":"MD Campos","year":"2009","unstructured":"Campos, M.D., Barbosa, L.S.: BarbosaImplementation of an orchestration language as a haskell domain specific language. Electr. Notes Theor. Comput. Sci. 255, 45\u201364 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chambers, C., Raniwala, A., Perry, F., Adams, S., Henry, R.R., Bradshaw, R., Weizenbaum, N.: Flumejava: Easy, efficient data-parallel pipelines. In: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, pp. 363\u2013375, New York, NY, USA. ACM (2010)","DOI":"10.1145\/1809028.1806638"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-319-30734-3_11","volume-title":"Theory and Practice of Formal Methods","author":"D Clarke","year":"2016","unstructured":"Clarke, D., Wrigstad, T.: Vats: a safe, reactive storage abstraction. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 140\u2013154. Springer, Switzerland (2016)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Frigo, M., Leiserson, C.E., Randall, K.H.: The implementation of the Cilk-5 multithreaded language. In: Davidson, J.W., Cooper, K.D., Berman, A.M., (eds.) Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI), pp. 212\u2013223. ACM, Montreal, 17\u201319 June 1998","DOI":"10.1145\/277650.277725"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"RH Robert Jr","year":"1985","unstructured":"Robert Jr., R.H.: Multilisp: A language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7(4), 501\u2013538 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Hickey, R.: The clojure programming language. In: Brichau, J. (ed.) Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, p. 1. ACM, Paphos, Cyprus (2008)","DOI":"10.1145\/1408681.1408682"},{"key":"7_CR9","unstructured":"Imam, S., Sarkar, V.: The Eureka programming model for speculative task parallelism. In: Boyland, J.T. (ed.) 29th European Conference on Object-Oriented Programming, ECOOP 2015, vol. 37 of LIPIcs, pp. 421\u2013444, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. Prague, Czech Republic, 5\u201310 July 2015"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-540-89330-1_10","volume-title":"Programming Languages and Systems","author":"S Peyton Jones","year":"2008","unstructured":"Peyton Jones, S.: Harnessing the multicores: nested data parallelism in haskell. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, p. 138. Springer, Heidelberg (2008)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"DE Kitchin","year":"2006","unstructured":"Kitchin, D.E., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477\u2013491. Springer, Heidelberg (2006)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 1\u201325. Springer, Heidelberg (2009)"},{"issue":"11","key":"7_CR13","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/2088456.1863534","volume":"45","author":"John Launchbury","year":"2010","unstructured":"Launchbury, J., Elliott, T.: Concurrent orchestration in haskell. In: Gibbons, J., (ed.) Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, pp. 79\u201390. ACM, Baltimore, MD, USA, 30 September 2010","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2), 121\u2013154 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR15","unstructured":"McCain, D.: Parallel combinators for the Encore programming language. Master\u2019s thesis, Uppsala University (2016)"},{"key":"7_CR16","volume-title":"Programming in Scala: A Comprehensive Step-by-step Guide","author":"M Odersky","year":"2008","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A Comprehensive Step-by-step Guide, 1st edn. Artima Incorporation, USA (2008)","edition":"1"},{"key":"7_CR17","volume-title":"Java Concurrency in Practice","author":"T Peierls","year":"2005","unstructured":"Peierls, T., Goetz, B., Bloch, J., Bowbeer, J., Lea, D., Holmes, D.: Java Concurrency in Practice. Addison-Wesley Professional, Boston (2005)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-23397-5_14","volume-title":"Euro-Par 2011 Parallel Processing","author":"A Prokopec","year":"2011","unstructured":"Prokopec, A., Bagwell, P., Rompf, T., Odersky, M.: A generic parallel collection framework. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part II. LNCS, vol. 6853, pp. 136\u2013147. Springer, Heidelberg (2011)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-37658-0_11","volume-title":"Languages and Compilers for Parallel Computing","author":"A Prokopec","year":"2013","unstructured":"Prokopec, A., Miller, H., Schlatter, T., Haller, P., Odersky, M.: FlowPools: a lock-free deterministic concurrent dataflow abstraction. In: Kasahara, H., Kimura, K. (eds.) LCPC 2012. LNCS, vol. 7760, pp. 158\u2013173. Springer, Heidelberg (2013)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-18378-2_15","volume-title":"Practical Aspects of Declarative Languages","author":"D Syme","year":"2011","unstructured":"Syme, D., Petricek, T., Lomov, D.: The F# asynchronous programming model. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 175\u2013189. Springer, Heidelberg (2011)"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"AK Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:08:17Z","timestamp":1590192497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}