{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:40:38Z","timestamp":1648672838336},"reference-count":29,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Algorithms and Applications"],"published-print":{"date-parts":[[2000,4]]},"DOI":"10.1080\/10637199808947391","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T02:53:16Z","timestamp":1183776796000},"page":"271-292","source":"Crossref","is-referenced-by-count":5,"title":["AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS\u2217"],"prefix":"10.1080","volume":"14","author":[{"given":"A.","family":"STEWART","sequence":"first","affiliation":[]},{"given":"M.","family":"CLINT","sequence":"additional","affiliation":[]},{"given":"J.","family":"GABARR\u00d3","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/357103.357110"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00041-8"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571463"},{"key":"CIT0004","first-page":"405","volume-title":"in Parallel Computing 83","author":"Clint M.","year":"1984"},{"key":"CIT0005","volume-title":"Verifiable Programming","author":"Dahl O.-J.","year":"1992"},{"key":"CIT0006","volume-title":"A Discipline of Programming","author":"Dijkstra E.W.","year":"1976"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90013-8"},{"key":"CIT0009","volume-title":"Program Verification","author":"Francez N.","year":"1992"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1080"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1085"},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"Gries D.","year":"1981"},{"key":"CIT0014","first-page":"359","volume-title":"in Euro-Par apos;96","author":"He J.","year":"1996"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"CIT0016","volume-title":"Communicating Sequential Processes","author":"Hoare C.A.R.","year":"1985"},{"key":"CIT0017","first-page":"3","volume-title":"in Euro-Par '97","author":"Hoare C.A.R.","year":"1997"},{"key":"CIT0018","volume-title":"Unifying Theories of Programming","author":"Hoare C.A.R.","year":"1998"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"CIT0020","volume-title":"Systematic Software Development Using VDM","author":"Jones C.B.","year":"1990"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289266"},{"key":"CIT0022","unstructured":"W.F. McCollScalable computing, in Computer Science Today Recent Trends and DevelopmentsLNCS Vol. 1000 , Springer-Verlag , J. van Leeuwen (Ed.) ( 1995 ) pp. 46 \u2013 61 ."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"key":"CIT0024","unstructured":"D.B. SkiUicorn Building BSP programs using the refinement calculus . Technical Report 96-400, Department of Computing and Information Science , Queen's University Kingston , 1996 ."},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932133"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1073"},{"key":"CIT0027","first-page":"511","volume-title":"in Euro-Par '97","author":"Stewart A.","year":"1997"},{"key":"CIT0028","author":"Stewart A.","year":"1999","journal-title":"The Computer Journal"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00155-6"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"}],"container-title":["Parallel Algorithms and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10637199808947391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T15:54:38Z","timestamp":1497714878000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/10637199808947391"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["10.1080\/10637199808947391"],"URL":"https:\/\/doi.org\/10.1080\/10637199808947391","relation":{},"ISSN":["1063-7192"],"issn-type":[{"value":"1063-7192","type":"print"}],"subject":[],"published":{"date-parts":[[2000,4]]}}}