{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:53:14Z","timestamp":1694623994457},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[1992,9,1]],"date-time":"1992-09-01T00:00:00Z","timestamp":715305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1992,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper is intended to solve a particular problem related to the refinement of a shared sequential buffer into a parallel collection of buffers arising from a study on the IBM CICS project. Using the notion of cooperating refinement we show that the two systems are equivalent from the users' points of view (except with respect to efficiency). This is achieved by constructing an interleaving for each possible sequence of commands which access the buffer. The induction used in the proof is non-standard, and makes the problem harder than it would at first seem. Further we show that the interleaving cannot be done \u2018on the fly\u2019, showing that in some other sense, the parallel collection is indeed superior, as intuition suggests.<\/jats:p>","DOI":"10.1007\/bf01211395","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T22:14:33Z","timestamp":1109369673000},"page":"487-492","source":"Crossref","is-referenced-by-count":0,"title":["Sequential to parallel buffer refinement"],"prefix":"10.1145","volume":"4","author":[{"given":"Andrew","family":"Kay","sequence":"first","affiliation":[{"name":"Oxford University Computing Laboratory, 11 Keble Road, OX1 3QD, Oxford, UK"}]},{"given":"Peter","family":"Lupton","sequence":"additional","affiliation":[{"name":"IBM UK, Hursley Park, Winchester, UK"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"IBM Corporation. CICS\/ESA General Information. GC33-0155 1985."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_2_1_2_3_2","first-page":"27","volume-title":"The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems","author":"Jacob J.","year":"1989"},{"key":"e_1_2_1_2_4_2","first-page":"2\/3","article-title":"Customer Information Control System\u2014an evolving facility","volume":"24","author":"Yelavich B. M.","year":"1985","journal-title":"IBMSJ"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211395.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211395\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:23:13Z","timestamp":1641482593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":4,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["10.1007\/BF01211395"],"URL":"https:\/\/doi.org\/10.1007\/bf01211395","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}