{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T05:08:48Z","timestamp":1698037728538},"reference-count":14,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":7791,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1985,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There have been proposed and used many programming concepts for realizing interprocess communication and synchronization, and two fundamental categories among them are variable sharing (e.g. semaphores) and message passing (signals, input\/output in CSP and redezvous in Ada). The aim of this paper is to investigate the relationship between these two mechanisms, and in particular, program transformation between them. We here propose a transformation method between parallel programs written in each of these two, which uses transformation schemes named <jats:italic>monitor transformations.<\/jats:italic> We exhibit the method by showing through a chain of program transformations the equivalence of two versions of a parallel algorithm called dynamic sorting array.<\/jats:p>","DOI":"10.1002\/spe.4380150706","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T04:16:08Z","timestamp":1163823368000},"page":"677-692","source":"Crossref","is-referenced-by-count":3,"title":["A method of program transformation between variable sharing and message passing"],"prefix":"10.1002","volume":"15","author":[{"given":"Teruo","family":"Hikita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyoshi","family":"Ishihata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/359642.359651"},{"key":"e_1_2_1_5_2","unstructured":"United States Department of Defense Reference Manual for the Ada Programming Language ANSI\/MIL\u2010STD\u20101815A\u20101983 January1983."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90009-5"},{"key":"e_1_2_1_7_2","unstructured":"H. C.LauerandR. M.Needham \u2018On the duality of operating system structures\u2019 Second International Svmp. on Operating Systems IRIA Rocquencourt France October1978."},{"key":"e_1_2_1_7_3","doi-asserted-by":"publisher","DOI":"10.1145\/850657.850658"},{"key":"e_1_2_1_8_2","volume-title":"Efficient Implementation of Ada Tasks","author":"Habermann A. N.","year":"1980"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/800004.807946"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380121103"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/322344.322352"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380110504"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/358527.358537"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380150706","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380150706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T18:57:18Z","timestamp":1697828238000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380150706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,7]]},"references-count":14,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1985,7]]}},"alternative-id":["10.1002\/spe.4380150706"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380150706","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,7]]}}}