{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:49Z","timestamp":1725490249872},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424956"},{"type":"electronic","value":"9783540446811"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-44681-8_79","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T03:35:09Z","timestamp":1188358509000},"page":"549-560","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Formally Refining BSP Barriers into Explicit Two \u2014 Sided Communications"],"prefix":"10.1007","author":[{"given":"Alan","family":"Stewart","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Clint","sequence":"additional","affiliation":[]},{"given":"Joquim","family":"Gabarr\u00f3","sequence":"additional","affiliation":[]},{"given":"Maria J.","family":"Serna","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,17]]},"reference":[{"key":"79_CR1","unstructured":"Akl S. G.: The Design and Analysis of Parallel Algorithms, Prentice-Hall, 1989."},{"issue":"4","key":"79_CR2","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/4221.4227","volume":"32","author":"B. Awerbuch","year":"1985","unstructured":"Awerbuch B.: Complexity of network synchronization, JACM, 32(4) (1985), 804\u2013823.","journal-title":"JACM"},{"key":"79_CR3","unstructured":"Bonorden O., Juurlink B., von Otto I., Rieping I.: The Paderborn University BSP (PUB) Library\u2014Design, Implementation and Performance 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing, (1999)."},{"issue":"2","key":"79_CR4","first-page":"27","volume":"8","author":"A. Fahmy","year":"1996","unstructured":"Fahmy A., Heddaya A., BSPk: Low overhead communication constructs and logical barriers for bulk synchronous parallel programming, Bulletin of the IEEE Technical Committee on Operating Systems and Application Environments (TCOS), 8(2), (1996) 27\u201332.","journal-title":"Bulletin of the IEEE Technical Committee on Operating Systems and Application Environments (TCOS)"},{"issue":"1\u20132","key":"79_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1006\/jpdc.1998.1437","volume":"50","author":"S. J. Fink","year":"1998","unstructured":"Fink S. J., Baden S. B., Kohn S. R., Efficient Run-Time Support for Irregular Block-Structured Applications, Journal Parallel and Distributed Computing, 50(1\u20132), 1998, 61\u201382.","journal-title":"Journal Parallel and Distributed Computing"},{"key":"79_CR6","unstructured":"The Grid: blueprint for a new computing infrastructure, editor I. Foster, Morgan Kaufmann, 1999."},{"key":"79_CR7","doi-asserted-by":"crossref","unstructured":"Gonzalez J. A., Leon C., Piccoli F., Printista M., Poda J. L., Rodriguez C., Sande, F.: Performance Prediction of Oblivious BSP Programs, EuroPar (2001).","DOI":"10.1007\/3-540-44681-8_16"},{"key":"79_CR8","doi-asserted-by":"crossref","unstructured":"Hoare C. A. R.: Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"79_CR9","unstructured":"Hoare C. A. R., Jefeng H.: Unifying Theories of Programming, Prentice Hall, 1998."},{"issue":"5","key":"79_CR10","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0020-0190(98)00061-1","volume":"66","author":"J.-S. Kim","year":"1998","unstructured":"Kim J-S., Ha S., Jhon C. S., Relaxed barrier synchronization for the BSP model of computation on message-passing architectures Information Processing Letters, 66(5), (1998) 247\u2013253.","journal-title":"Information Processing Letters"},{"key":"79_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki S., Gries D.: An axiomatic proof technique for parallel programs, Acta Informatica, 6 (1976) 319\u2013340.","journal-title":"Acta Informatica"},{"key":"79_CR12","unstructured":"MPI: A Message-Passing Interface Standard. University of Tennessee, 1995."},{"key":"79_CR13","doi-asserted-by":"crossref","unstructured":"Stewart A., Clint M.: BSP-style computation: a semantic investigation, Computer Journal (2001).","DOI":"10.1093\/comjnl\/44.3.174"},{"key":"79_CR14","unstructured":"Stewart A., Clint M., Gabarr\u00f3, J.: Algebraic rules for reasoning about BSP programs, Proceedings of Constructive Mathematics for Parallel Programming 2000 (2001)."},{"key":"79_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L. G. Valiant","year":"1990","unstructured":"Valiant L. G.: A bridging model for parallel computation, Comm. ACM, 33 (1990) 103\u2013111.","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2001 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44681-8_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:12:10Z","timestamp":1684019530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44681-8_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424956","9783540446811"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44681-8_79","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"17 August 2001","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"}]}}