{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:31:05Z","timestamp":1725514265466},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681052"},{"type":"electronic","value":"9783540681113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68111-3_119","type":"book-chapter","created":{"date-parts":[[2008,5,28]],"date-time":"2008-05-28T16:27:12Z","timestamp":1211992032000},"page":"1122-1129","source":"Crossref","is-referenced-by-count":5,"title":["Formal Semantics of DRMA-Style Programming in BSPlib"],"prefix":"10.1007","author":[{"given":"Julien","family":"Tesson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Loulergue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"119_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2714-2","volume-title":"Verification of sequential and concurrent programs","author":"K.R. Apt","year":"1997","unstructured":"Apt, K.R., Olderog, E.-R.: Verification of sequential and concurrent programs, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"unstructured":"Boug\u00e9, L.: Le mod\u00e8le de programmation \u00e0 parall\u00e9lisme de donn\u00e9es: une perspective s\u00e9mantique. RAIRO Technique et Science Informatiques 12(5) (1993)","key":"119_CR2"},{"issue":"3","key":"119_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1142\/S0129626403001367","volume":"13","author":"Y. Chen","year":"2003","unstructured":"Chen, Y., Sanders, W.: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters\u00a013(3), 389\u2013400 (2003)","journal-title":"Parallel Processing Letters"},{"issue":"3","key":"119_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1142\/S0129626403001343","volume":"13","author":"F. Gava","year":"2003","unstructured":"Gava, F.: Formal Proofs of Functional BSP Programs. Parallel Processing Letters\u00a013(3), 365\u2013376 (2003)","journal-title":"Parallel Processing Letters"},{"issue":"8","key":"119_CR5","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1006\/jpdc.2001.1735","volume":"61","author":"Y. Gu","year":"2001","unstructured":"Gu, Y., Lee, B.-S., Cai, W.: JBSP: A BSP programming library in Java. Journal of Parallel and Distributed Computing\u00a061(8), 1126\u20131142 (2001)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"119_CR6","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0167-8191(98)00093-3","volume":"24","author":"J.M.D. Hill","year":"1998","unstructured":"Hill, J.M.D., McColl, W.F., et al.: BSPlib: The BSP Programming Library. Parallel Computing\u00a024, 1947\u20131980 (1998)","journal-title":"Parallel Computing"},{"key":"119_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BFb0024724","volume-title":"Euro-Par \u201996 - Parallel Processing","author":"H. Jifeng","year":"1996","unstructured":"Jifeng, H., Miller, Q., Chen, L.: Algebraic laws for BSP programming. In: Fraigniaud, P., Mignotte, A., Boug\u00e9, L., Robert, Y. (eds.) Euro-Par 1996. LNCS, vol.\u00a01123, pp. 359\u2013368. Springer, Heidelberg (1996)"},{"unstructured":"Lecomber, D.S.: Methods of BSP Programming. PhD thesis, Oxford University Computing Laboratory (July 1998)","key":"119_CR8"},{"key":"119_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1007\/11428848_132","volume-title":"Computational Science \u2013 ICCS 2005","author":"F. Loulergue","year":"2005","unstructured":"Loulergue, F., Gava, F., Billiet, D.: Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol.\u00a03515, pp. 1046\u20131054. Springer, Heidelberg (2005)"},{"unstructured":"Miller, Q.: BSP in a Lazy Functional Context. In: Trends in Functional Programming, vol.\u00a03, Intellect Books (May 2002)","key":"119_CR10"},{"issue":"3","key":"119_CR11","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1155\/1997\/532130","volume":"6","author":"D.B. Skillicorn","year":"1997","unstructured":"Skillicorn, D.B., Hill, J.M.D., McColl, W.F.: Questions and Answers about BSP. Scientific Programming\u00a06(3), 249\u2013274 (1997)","journal-title":"Scientific Programming"},{"key":"119_CR12","volume-title":"MPI the Complete Reference","author":"M. Snir","year":"1998","unstructured":"Snir, M., Gropp, W.: MPI the Complete Reference. MIT Press, Cambridge (1998)"},{"key":"119_CR13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1080\/10637199808947391","volume":"14","author":"A. Stewart","year":"2000","unstructured":"Stewart, A., Clint, M., Gabarr\u00f3, J.: Axiomatic Frameworks for Developing BSP-Style Programs. Parallel Algorithms and Applications\u00a014, 271\u2013292 (2000)","journal-title":"Parallel Algorithms and Applications"},{"unstructured":"Tesson, J., Loulergue, F.: Formal Semantics for the DRMA programming style subset of the BSPlib library. Technical report, LIFO, University of Orl\u00e9ans (to appear, November 2007)","key":"119_CR14"},{"key":"119_CR15","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. Foundations of Computing Series. MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68111-3_119.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:08:40Z","timestamp":1605762520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68111-3_119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540681052","9783540681113"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68111-3_119","relation":{},"subject":[]}}