{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:02Z","timestamp":1725486062696},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006244"},{"type":"electronic","value":"9783540364986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36498-6_3","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T14:28:14Z","timestamp":1181226494000},"page":"33-56","source":"Crossref","is-referenced-by-count":1,"title":["Recent Advances in Refinement"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Eerke","family":"Boiten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"3_CR1","volume-title":"Action Refinement in Process Algebras","author":"L. Aceto","year":"1992","unstructured":"L. Aceto. Action Refinement in Process Algebras. CUP, London, 1992. 46"},{"key":"3_CR2","unstructured":"E.A. Boiten and J. Derrick. Grey box data Refinement. In Grundy et al. [16], pages 45\u201359. 42"},{"key":"3_CR3","unstructured":"E.A. Boiten and J. Derrick. IO-refinement in Z. In A. Evans, D.J. Duke, and T. Clark, editors, 3rd BCS-FRCS Northern Formal Methods Workshop. Springer-Verlag, September 1998. http:\/\/www.ewic.org.uk\/ . 40, 41"},{"key":"3_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/10722010_11","volume-title":"Mathematics of Program Construction","author":"E.A. Boiten","year":"2000","unstructured":"E.A. Boiten and J. Derrick. Liberating data Refinement. In R.C. Backhouse and J.N. Oliveira, editors, Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science, pages 144\u2013166. Springer-Verlag, 2000. 39"},{"key":"3_CR5","unstructured":"C. Bolton and J. Davies. A Singleton Failures Semantics for Communicating Sequential Processes. Formal Aspects of Computing, 2002. Under consideration. 52"},{"key":"3_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-47884-1_13","volume-title":"Integrated FormalMet hods (IFM 2002)","author":"C. Bolton","year":"2002","unstructured":"C. Bolton and J. Davies. Refinement in Object-Z and CSP. In M. Butler, L. Petre, and K. Sere, editors, Integrated FormalMet hods (IFM 2002), volume 2335 of Lecture Notes in Computer Science, pages 225\u2013244. Springer-Verlag, 2002. 52"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/FI-1994-201231","volume":"20","author":"J.W. Bakker de","year":"1994","unstructured":"J.W. de Bakker and E.P. de Vink. Bisimulation semantics for concurrency with atomicity and action refinement. Fundamenta Informaticae, 20:3\u201334, 1994. 46","journal-title":"Fundamenta Informaticae"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP, 1998. 37","DOI":"10.1017\/CBO9780511663079"},{"key":"3_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1007\/3-540-48118-4_28","volume-title":"Non-atomic refinement in Z","author":"J. Derrick","year":"1999","unstructured":"J. Derrick and E.A. Boiten. Non-atomic refinement in Z. volume 1708 of Lecture Notes in Computer Science, pages 1477\u20131496, Berlin, 1999. Springer-Verlag. 46"},{"key":"3_CR10","unstructured":"J. Derrick and E.A. Boiten. Refinement of state-based systems with internal operations. Technical report, Computing Laboratory, University of Kent, Canterbury, 2000. 44"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"J. Derrick and E.A. Boiten. Refinement in Z and Object-Z. Springer-Verlag, 2001. 35, 37, 39, 40, 41, 45, 46","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BFb0027298","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"J. Derrick","year":"1997","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. W. A. Steen. Weak Refinement in Z. In J. P. Bowen, M.G. Hinchey, and D. Till, editors, ZUM\u201997: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369\u2013388. Springer-Verlag, April 1997. 45"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. W. A. Steen. Specifying and Re-fining InternalO perations in Z. Formal Aspects of Computing, 10:125\u2013159, December 1998. 45, 46","DOI":"10.1007\/s001650050007"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J. Derrick and E.A. Boiten. Refinement of objects and operations in Object-Z. In FormalMet hods for Open Object-based Distributed Systems IV, pages 257\u2013277. Kluwer Academic Publishers, 2000. 46","DOI":"10.1007\/978-0-387-35520-7_13"},{"key":"3_CR15","unstructured":"J. Derrick and E.A. Boiten. Unifying concurrent and relational Refinement. In REFINE-a FloC\u201902 FME workshop, Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 52, 53"},{"key":"3_CR16","series-title":"Discrete Mathematics and Theoretical Computer Science","volume-title":"International Refinement Workshop & Formal Methods Pacific\u2019 98","author":"J. Grundy","year":"1998","unstructured":"J. Grundy, M. Schwenke, and T. Vickers, editors. International Refinement Workshop & Formal Methods Pacific\u2019 98. Discrete Mathematics and Theoretical Computer Science. Springer-Verlag, Canberra, September 1998."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"He Jifeng, C.A.R. Hoare, and J.W. Sanders. Data Refinement refined. In B. Robinet and R. Wilhelm, editors, Proc. ESOP 86, volume 213, pages 187\u2013196. Springer-Verlag, 1986. 37","DOI":"10.1007\/3-540-16442-1_14"},{"key":"3_CR18","unstructured":"He Jifeng. Process Refinement. In J. McDermid, editor, The Theory and Practice of Refinement. Butterworths, 1989. 52"},{"key":"3_CR19","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. 52","journal-title":"Distributed Computing"},{"key":"3_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-44525-0_17","volume-title":"ZB2000: Formal Specification and Development in Z and B","author":"R. Miarka","year":"2000","unstructured":"R. Miarka, E.A. Boiten, and J. Derrick. Guards, preconditions and Refinement in Z. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB2000: Formal Specification and Development in Z and B, volume 1878 of Lecture Notes in Computer Science, pages 286\u2013303. Springer-Verlag, September 2000. 36"},{"key":"3_CR21","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, 1998. 52"},{"key":"3_CR22","series-title":"Lect Notes Comput Sci","volume-title":"ICFEM\u201902","author":"G. Smith","year":"2002","unstructured":"G. Smith and J. Derrick. Abstract specification in Object-Z and CSP. In ICFEM\u201902, Lecture Notes in Computer Science. Springer-Verlag, 2002. 54"},{"key":"3_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/BFb0056040","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"S. Stepney","year":"1998","unstructured":"S. Stepney, D. Cooper, and J.C.P. Woodcock. More powerfulda ta Refinement in Z. In J.P. Bowen, A. Fett, and M.G. Hinchey, editors, ZUM\u201998: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 284\u2013307. Springer-Verlag, September 1998. 51, 54"},{"key":"3_CR24","unstructured":"J.C. P. Woodcock. Industrial-strength Refinement. In Grundy et al. [16], pages 33\u201344. 54"},{"key":"3_CR25","unstructured":"J.C. P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996. 39"},{"key":"3_CR26","series-title":"Lect Notes Comput Sci","volume-title":"VDM\u201990: VDM and Z!-Formal Methods in Software Development","author":"J. C. P. Woodcock","year":"1990","unstructured":"J. C. P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors, VDM\u201990: VDM and Z!-Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science. Springer-Verlag, 1990. 52"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T17:18:45Z","timestamp":1587575925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36498-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006244","9783540364986"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36498-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}