{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T15:36:19Z","timestamp":1778340979383,"version":"3.51.4"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,4,2]],"date-time":"2016-04-02T00:00:00Z","timestamp":1459555200000},"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":["Int J Parallel Prog"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10766-016-0417-6","type":"journal-article","created":{"date-parts":[[2016,4,2]],"date-time":"2016-04-02T06:28:10Z","timestamp":1459578490000},"page":"340-361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Multi-ML: Programming Multi-BSP Algorithms in ML"],"prefix":"10.1007","volume":"45","author":[{"given":"V.","family":"Allombert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Gava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Tesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,2]]},"reference":[{"key":"417_CR1","first-page":"349","volume-title":"Theory and Practice of Informatics (SOFSEM), Volume 1725 of LNCS","author":"M Beran","year":"1999","unstructured":"Beran, M.: Decomposable bulk synchronous parallel computers. In: Pavelka, J., Tel, G., Bartoek, M. (eds.) Theory and Practice of Informatics (SOFSEM), Volume 1725 of LNCS, pp. 349\u2013359. Springer, Berlin (1999)"},{"key":"417_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198529392.001.0001","volume-title":"Parallel Scientific Computation: A Structured Approach Using bsp and mpi","author":"RH Bisseling","year":"2004","unstructured":"Bisseling, R.H.: Parallel Scientific Computation: A Structured Approach Using bsp and mpi. Oxford University Press, Oxford (2004)"},{"key":"417_CR3","first-page":"1278","volume-title":"Encyclopedia of Parallel Computing","author":"GE Blelloch","year":"2011","unstructured":"Blelloch, G.E.: NESL. In: Padua, D.A. (ed.) Encyclopedia of Parallel Computing, pp. 1278\u20131283. Springer, Berlin (2011)"},{"issue":"2","key":"417_CR4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0167-8191(02)00218-1","volume":"29","author":"O Bonorden","year":"2003","unstructured":"Bonorden, O., Judoiink, B., von Otte, I., Rieping, O.: The Paderborn University bsp (pub) library. Parallel Comput. 29(2), 187\u2013207 (2003)","journal-title":"Parallel Comput."},{"issue":"2","key":"417_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0129626412400075","volume":"22","author":"M Bourgoin","year":"2012","unstructured":"Bourgoin, M., Chailloux, E., Lamotte, J.-L.: SPOC: GPGPU programming through stream processing with ocaml. Parallel Process. Lett. 22(2), 1\u201312 (2012)","journal-title":"Parallel Process. Lett."},{"key":"417_CR6","doi-asserted-by":"crossref","unstructured":"Cappello, F., Guermouche, A., Snir, M.: On communication determinism in parallel hpc applications. In: Computer Communications and Networks (ICCCN). IEEE (2010)","DOI":"10.1109\/ICCCN.2010.5560143"},{"issue":"2","key":"417_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1008113017444","volume":"18","author":"H Cha","year":"2001","unstructured":"Cha, H., Lee, D.: h-bsp: a hierarchical bsp computation model. J. Supercomput. 18(2), 179\u2013200 (2001)","journal-title":"J. Supercomput."},{"issue":"3","key":"417_CR8","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1142\/S0129626403001392","volume":"13","author":"E Chailloux","year":"2003","unstructured":"Chailloux, E., Foisy, C.: A portable implementation for Objective Caml Flight. Parallel Process. Lett. 13(3), 425\u2013436 (2003)","journal-title":"Parallel Process. Lett."},{"issue":"1","key":"417_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1142\/S0129626408003223","volume":"18","author":"E Chailloux","year":"2008","unstructured":"Chailloux, E., Ravet, V., Verlaguet, J.: HirondML: Fair threads migrations for Objective Caml. Parallel Process. Lett. 18(1), 55\u201369 (2008)","journal-title":"Parallel Process. Lett."},{"key":"417_CR10","first-page":"10","volume-title":"Declarative aspects of multicore programming (DAMP), part of POPL","author":"MMT Chakravarty","year":"2007","unstructured":"Chakravarty, M.M.T., Leshchinskiy, R., Jones, S.L.P., Keller, G., Marlow, S.: Data parallel Haskell: a status report. In: Glew, N., Blelloch, G.E. (eds.) Declarative aspects of multicore programming (DAMP), part of POPL, pp. 10\u201318. ACM, London (2007)"},{"issue":"1","key":"417_CR11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1142\/S0129626408003284","volume":"18","author":"RD Cosmo","year":"2008","unstructured":"Cosmo, R.D., Li, Z., Pelagatti, S., Weis, P.: Skeletal Parallel Programming with ocaml P3l 2.0. Parallel Process. Lett. 18(1), 149\u2013164 (2008)","journal-title":"Parallel Process. Lett."},{"key":"417_CR12","doi-asserted-by":"crossref","unstructured":"da\u00a0Rosa\u00a0Righi, R., Pilla, L.L., Carissimi, A., Navaux, P.O.A., Heiss, H.-U.: MigBSP: a novel migration model for bulk-synchronous parallel processes rescheduling. In: High Performance Computing and Communications (HPCC), pp. 585\u2013590. IEEE (2009)","DOI":"10.1109\/HPCC.2009.54"},{"issue":"9","key":"417_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/1411203.1411224","volume":"43","author":"M Fluet","year":"2008","unstructured":"Fluet, M., Rainey, M., Reppy, J., Shaw, A.: Implicitly-threaded parallelism in manticore. SIGPLAN Not. 43(9), 119\u2013130 (2008)","journal-title":"SIGPLAN Not."},{"key":"417_CR14","doi-asserted-by":"publisher","unstructured":"Fortin, J., Gava, F.: BSP-Why: a tool for deductive verification of bsp algorithms with subgroup synchronisation. Int. J. Parallel Program. (2015). doi: 10.1007\/s10766-015-0360-y","DOI":"10.1007\/s10766-015-0360-y"},{"issue":"3","key":"417_CR15","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1142\/S0129626403001343","volume":"13","author":"F Gava","year":"2003","unstructured":"Gava, F.: Formal proofs of functional bsp programs. Parallel Process. Lett. 13(3), 365\u2013376 (2003)","journal-title":"Parallel Process. Lett."},{"key":"417_CR16","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1016\/j.future.2009.05.021","volume":"26","author":"L Gesbert","year":"2010","unstructured":"Gesbert, L., Gava, F., Loulergue, F., Dabrowski, F.: Bulk synchronous parallel ml with exceptions. Future Gener. Comput. Syst. 26, 486\u2013490 (2010)","journal-title":"Future Gener. Comput. Syst."},{"key":"417_CR17","doi-asserted-by":"crossref","unstructured":"Gesbert, L., Hu, Z., Loulergue, F., Matsuzaki, K., Tesson, J.: Systematic development of correct bulk synchronous parallel programs. In: Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 334\u2013340. IEEE (2010)","DOI":"10.1109\/PDCAT.2010.86"},{"issue":"12","key":"417_CR18","doi-asserted-by":"crossref","first-page":"1135","DOI":"10.1002\/spe.1026","volume":"40","author":"H Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Leyton, M.: A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. Software, Practrice & Experience 40(12), 1135\u20131160 (2010)","journal-title":"Software, Practrice & Experience"},{"issue":"4","key":"417_CR19","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s10766-006-0018-x","volume":"34","author":"C Grelck","year":"2006","unstructured":"Grelck, C., Scholz, S.-B.: SAC: a functional array language for efficient multi-threaded execution. Int. J. Parallel Prog. 34(4), 383\u2013427 (2006)","journal-title":"Int. J. Parallel Prog."},{"issue":"8","key":"417_CR20","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1006\/jpdc.2001.1735","volume":"61","author":"Y Gu","year":"2001","unstructured":"Gu, Y., Le, B.-S., Wentong, C.: JBSP: A bsp programming library in java. J. Parallel Distrib. Comput. 61(8), 1126\u20131142 (2001)","journal-title":"J. Parallel Distrib. Comput."},{"key":"417_CR21","first-page":"48","volume-title":"Simulation Multi-conference (SpringSim) on High Performance Computing Symposia (HPC)","author":"K Hamidouche","year":"2011","unstructured":"Hamidouche, K., Falcou, J., Etiemble, D.: A framework for an automatic hybrid mpi+open-mp code generation. In: Watson, L.T., Howell, G.W., Thacker, W.I., Seidel, S. (eds.) Simulation Multi-conference (SpringSim) on High Performance Computing Symposia (HPC), pp. 48\u201355. SCS\/ACM, London (2011)"},{"key":"417_CR22","first-page":"122","volume-title":"Implementation of Functional Languages (IFL), Volume 2011 of LNCS","author":"K Hammond","year":"2000","unstructured":"Hammond, K.: The dynamic properties of hume: a functionally-based concurrent language with bounded time and space behaviour. In: Mohnen, M., Koopman, P.W.M. (eds.) Implementation of Functional Languages (IFL), Volume 2011 of LNCS, pp. 122\u2013139. Springer, Berlin (2000)"},{"key":"417_CR23","volume-title":"Research Directions in Parallel Functional Programming","year":"2000","unstructured":"Hammond, K., Michaelson, G. (eds.): Research Directions in Parallel Functional Programming. Springer, Berlin (2000)"},{"key":"417_CR24","doi-asserted-by":"crossref","first-page":"1947","DOI":"10.1016\/S0167-8191(98)00093-3","volume":"24","author":"JMD Hill","year":"1998","unstructured":"Hill, J.M.D., McColl, B., Stefanescu, D.C., Goudreau, M.W., Lang, K., Rao, S.B., Suel, T., Tsantilas, T., Bisseling, R.: bsplib: the bsp programming library. Parallel Comput. 24, 1947\u20131980 (1998)","journal-title":"Parallel Comput."},{"issue":"1\u20132","key":"417_CR25","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.future.2003.09.003","volume":"22","author":"K Hinsen","year":"2006","unstructured":"Hinsen, K., Langtangen, H.P., Skavhaug, O., \u00d8deg\u00e5rd, \u00c5.: Using bsp and python to simplify parallel programming. Future Gener. Comput. Syst. 22(1\u20132), 123\u2013157 (2006)","journal-title":"Future Gener. Comput. Syst."},{"issue":"3","key":"417_CR26","first-page":"19:1","volume":"27","author":"Q Hou","year":"2008","unstructured":"Hou, Q., Zhou, K., Guo, B.: BSGP: Bulk-Synchronous gpu Programming. ACM Trans. Graph. 27(3), 19:1\u201319:12 (2008)","journal-title":"ACM Trans. Graph."},{"issue":"3","key":"417_CR27","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1023\/A:1026511306490","volume":"17","author":"CW Ke\u00dfler","year":"2000","unstructured":"Ke\u00dfler, C.W.: NestStep: nested parallelism and virtual shared memory for the bsp model. J. Supercomput. 17(3), 245\u2013262 (2000)","journal-title":"J. Supercomput."},{"issue":"2","key":"417_CR28","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1016\/j.ic.2007.12.004","volume":"207","author":"X Leroy","year":"2009","unstructured":"Leroy, X., Grall, H.: Coinductive big-step operational semantics. Inf. Comput. 207(2), 284\u2013304 (2009)","journal-title":"Inf. Comput."},{"issue":"2","key":"417_CR29","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1504\/IJHPCN.2012.046371","volume":"7","author":"C Li","year":"2012","unstructured":"Li, C., Hains, G.: SGL: towards a bridging model for heterogeneous hierarchical platforms. IJHPCN 7(2), 139\u2013151 (2012)","journal-title":"IJHPCN"},{"issue":"3","key":"417_CR30","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1025641323400","volume":"16","author":"H-W Loidl","year":"2003","unstructured":"Loidl, H.-W., et al.: Comparing parallel functional languages: programming and performance. Higher Order and Symb. Comp. 16(3), 203\u2013251 (2003)","journal-title":"Higher Order and Symb. Comp."},{"issue":"3","key":"417_CR31","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a Mar\u00ed, R.: Parallel functional programming in Eden. J. Funct. Program. 15(3), 431\u2013475 (2005)","journal-title":"J. Funct. Program."},{"key":"417_CR32","first-page":"108","volume-title":"European Symposium on Programming (ESOP), Volume 4960 of LNCS","author":"L Mandel","year":"2008","unstructured":"Mandel, L., Maranget, L.: Programming in jocaml. In: Drossopoulou, S. (ed.) European Symposium on Programming (ESOP), Volume 4960 of LNCS, pp. 108\u2013111. Springer, Berlin (2008)"},{"key":"417_CR33","unstructured":"Miller, Q.: BSP in a Lazy Functional Context. In: Hammond, K., Curtis, S. (eds.) Trends in Functional Programming, pp. 37\u201350. Intellect Books (2002)"},{"key":"417_CR34","unstructured":"Rossberg, A.: Typed open programming: a higher-order, typed approach to dynamic modularity and distribution. PhD thesis, Universit\u00e4t des Saarlandes (2007)"},{"issue":"3","key":"417_CR35","first-page":"781","volume":"7","author":"N Scaife","year":"2006","unstructured":"Scaife, N., Michaelson, G., Horiguchi, S.: Empirical parallel performance prediction from semantics-based profiling. Scalable Comput. Pract. Exp. 7(3), 781\u2013789 (2006)","journal-title":"Scalable Comput. Pract. Exp."},{"key":"417_CR36","doi-asserted-by":"crossref","unstructured":"Seo, S., Yoon, E.J., Kim, J.-H., Jin, S., Kim, J.-S., Maeng, S.: hama: an efficient matrix computation with the mapreduce framework. In: Cloud Computing (CloudCom), pp. 721\u2013726. IEEE (2010)","DOI":"10.1109\/CloudCom.2010.17"},{"issue":"8","key":"417_CR37","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"LG Valiant","year":"1990","unstructured":"Valiant, L.G.: A bridging model for parallel computation. Comm. ACM 33(8), 103\u2013111 (1990)","journal-title":"Comm. ACM"},{"issue":"1","key":"417_CR38","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/j.jcss.2010.06.012","volume":"77","author":"LG Valiant","year":"2011","unstructured":"Valiant, L.G.: A bridging model for multi-core computing. J. Comput. Syst. Sci. 77(1), 154\u2013166 (2011)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"417_CR39","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1002\/cpe.1843","volume":"24","author":"AN Yzelman","year":"2012","unstructured":"Yzelman, A.N., Bisseling, R.H.: An object-oriented bulk synchronous parallel library for multicore programming. Concurr. Comput. Pract. Exp. 24(5), 533\u2013553 (2012)","journal-title":"Concurr. Comput. Pract. Exp."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0417-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-016-0417-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0417-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0417-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T05:56:02Z","timestamp":1567749362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-016-0417-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,2]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["417"],"URL":"https:\/\/doi.org\/10.1007\/s10766-016-0417-6","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,2]]}}}