{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T13:10:56Z","timestamp":1720703456478},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T00:00:00Z","timestamp":1284681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            A BSP superstep is a\n            <jats:italic>distributed<\/jats:italic>\n            computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through\n            <jats:italic>shared<\/jats:italic>\n            memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.\n          <\/jats:p>","DOI":"10.1007\/s00165-010-0163-2","type":"journal-article","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T07:04:23Z","timestamp":1284620663000},"page":"421-432","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A programming model for BSP with partitioned synchronisation"],"prefix":"10.1145","volume":"23","author":[{"given":"Alan","family":"Stewart","sequence":"first","affiliation":[{"name":"School of Computer Science, The Queen\u2019s University of Belfast, BT7 1NN, Belfast, Northern Ireland, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/63471"},{"key":"e_1_2_1_2_2_2","volume-title":"Refinement calculus: a systematic introduction","author":"Back R-J","year":"1988"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0070-y"},{"key":"e_1_2_1_2_4_2","volume-title":"Program construction: calculating implementations from specifications","author":"Backhouse R","year":"2003"},{"key":"e_1_2_1_2_5_2","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":"Bisseling RH","year":"2004"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626403001367"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/973097.973098"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01933419"},{"key":"e_1_2_1_2_9_2","volume-title":"A discipline of programming","author":"Dijkstra EW","year":"1976"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"He J Miller Q Chen L (1996) Algebraic laws for BSP programming in Euro-Par\u201996. In: Bouge L Fraigniaud P Mignotte A Robert Y (eds) LNCS 1124 Volume II. Springer Berlin pp 359\u2013368","DOI":"10.1007\/BFb0024724"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_2_12_2","volume-title":"Unifying theories of programming","author":"Hoare CAR","year":"1998"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Javed N Loulergue F (2009) OSL: optimized bulk synchronous parallel skeletons on distributed arrays. In: Dou Y Gruber R Joller JM (eds) APPT 2009 LNCS vol 5737 pp 436\u2013451","DOI":"10.1007\/978-3-642-03644-6_34"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00029-5"},{"key":"e_1_2_1_2_15_2","volume-title":"MPI: the complete reference","author":"Snir M","year":"1995"},{"key":"e_1_2_1_2_16_2","first-page":"46","volume-title":"Computer science today: recent trends and developments. LNCS, vol 1000","author":"McColl WF"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1093\/comjnl\/44.3.174","article-title":"BSP-style computation: a semantic investigation","volume":"44","author":"Stewart A","year":"2001","journal-title":"Comput J"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0028-7"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00197-7"},{"key":"e_1_2_1_2_20_2","first-page":"352","volume-title":"Euro-Par\u201996, LNCS 1124, Volume II","author":"de la Torre P","year":"1996"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"},{"key":"e_1_2_1_2_22_2","volume-title":"ESA 2008, LNCS 5193","author":"Valiant LG","year":"2008"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-010-0163-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00165-010-0163-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-010-0163-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-010-0163-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:01:35Z","timestamp":1641484895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-010-0163-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["10.1007\/s00165-010-0163-2"],"URL":"https:\/\/doi.org\/10.1007\/s00165-010-0163-2","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]},"assertion":[{"value":"24 June 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2010","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2010","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 September 2010","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}