{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:01:57Z","timestamp":1725483717843},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_39","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:20:53Z","timestamp":1178356853000},"page":"564-579","source":"Crossref","is-referenced-by-count":0,"title":["A Single Complete Refinement Rule for Demonic Specifications"],"prefix":"10.1007","author":[{"given":"Karl","family":"Lermer","sequence":"first","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"39_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R. J. R. Back","year":"1981","unstructured":"R. J. R. Back. On correct refinement of programs. Journal of Computer and System Sciences, 23:49\u201368, 1981.","journal-title":"Journal of Computer and System Sciences"},{"issue":"4","key":"39_CR2","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF01212407","volume":"5","author":"P. H. B. Gardiner","year":"1993","unstructured":"P. H. B. Gardiner and C. Morgan. A single complete rule for data refinement. Formal Aspects of Computing, 5(4):367\u2013382, 1993.","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"39_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"39_CR4","unstructured":"C.A.R. Hoare. Communicating sequential processes. Prentice-Hall International, UK, LTD, 1985."},{"key":"39_CR5","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare, He Jifeng, and J. W. Sanders. Prespecifications in data refinement. Information Processing Letters, 25:71\u201376, 1987.","journal-title":"Information Processing Letters"},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01887207","volume":"1","author":"H. Jifeng","year":"1989","unstructured":"He Jifeng. Process simulation and refinement. Formal Aspects of Computing, 1:229\u2013241, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"39_CR7","series-title":"Lect Notes Comput Sci","first-page":"340","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","author":"H. Jifeng","year":"1989","unstructured":"He Jifeng. Various simulations and refinements. In J.W. deBakker, C.W.P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 340\u2013360. Springer-Verlag, 1989."},{"key":"39_CR8","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall, second edition, 1990."},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01788563","volume":"3","author":"M. B. Josephs","year":"1988","unstructured":"M. B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9\u201318, 1988.","journal-title":"Distributed Computing"},{"key":"39_CR10","unstructured":"K. Lermer and P. Strooper. Refinement and state machine abstraction. Technical Report 00-01, Software Verification Research Centre, January 2000. To appear in Theoretical Computer Science."},{"key":"39_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BFb0032002","volume-title":"Real-Time: Theory in Practice","author":"N. Lynch","year":"1991","unstructured":"N. Lynch and F. Vaandrager. Forward and backward simulation for timing-based systems. In J.W. deBakker, C. Huizing, W.P. deRoever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 397\u2013445. Springer-Verlag, 1991."},{"issue":"2","key":"39_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF01211604","volume":"7","author":"I. Rewitzky","year":"1995","unstructured":"I. Rewitzky and C. Brink. Predicate transformers as power operations. Formal Aspects of Computing, 7(2):169\u2013182, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"W.-P. Roever and K. Engelhardt. Data refinement: model-oriented proof methods and their comparison. Cambridge tracts in theoretical computer science; 4. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511663079"},{"key":"39_CR14","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T10:19:31Z","timestamp":1550312371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}