{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:18Z","timestamp":1725484278239},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_13","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T20:46:26Z","timestamp":1179607586000},"page":"225-244","source":"Crossref","is-referenced-by-count":20,"title":["Refinement in Object-Z and CSP"],"prefix":"10.1007","author":[{"given":"Christie","family":"Bolton","sequence":"first","affiliation":[]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralisation of process nets with centralised control. In In 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983.","DOI":"10.1145\/800221.806716"},{"key":"13_CR2","unstructured":"C. Bolton. On the refinement of state-based and event-based models. PhD thesis, University of Oxford, January 2002. Submitted for examination."},{"key":"13_CR3","unstructured":"C. Bolton and J. Davies. A singleton failures semantics for communicating sequential processes, 2001. Submitted to Formal Aspects of Computing."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"C. Bolton, J. Davies, and J. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of Integrated Formal Methods (IFM\u201999). Springer, 1999.","DOI":"10.1007\/978-1-4471-0851-1_15"},{"key":"13_CR5","unstructured":"M. J. Butler. A CSP approach to action systems. PhD thesis, University of Oxford, 1992."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J. Derrick and E. Boiten. Refinement in Z and Object-Z. Springer, 2001.","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"13_CR7","unstructured":"E. W. Dijkstra. A discipline of Programming. Prentice Hall, 1976."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R. Duke, G. Rose, and G. Smith. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, 17, 1995.","DOI":"10.1016\/0920-5489(95)00024-O"},{"key":"13_CR9","unstructured":"C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg, 2000."},{"key":"13_CR10","unstructured":"J. He. Process refinement. In J. McDermid, editor, The theory and practice of refinement. Butterworths, 1989."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, J. He, and J. W. Sanders. Prespecification in data refinement. Information Processing Letters, 1987.","DOI":"10.1016\/0020-0190(87)90224-9"},{"key":"13_CR13","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":"13_CR14","doi-asserted-by":"crossref","unstructured":"C.C. Morgan. Of wp and CSP. In W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"13_CR15","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, 1998."},{"key":"13_CR16","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1997."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7, 1995.","DOI":"10.1007\/BF01211075"},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Formal Methods Europe (FME\u2019 97)","author":"G. Smith","year":"1997","unstructured":"G. Smith. A semantic integration of Object-Z and CSP. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Proceedings of Formal Methods Europe (FME\u2019 97), volume 1313 of Lecture Notes in Computer Science. Springer Verlag, 1997."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z specification language. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M. Hinchey and Shaoying Liu, editors, Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM\u2019 97). IEEE Computer Society, 1997.","DOI":"10.1109\/ICFEM.1997.630436"},{"key":"13_CR21","unstructured":"J. M. Spivey. The Z notation: a reference manual. Prentice Hall, 1992."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"J. C. P. Woodcock and C. C. Morgan. Refinement of state-based concurrent systems. In D. Bj\u00f8rner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z: Formal methods in software development. Springer, 1990.","DOI":"10.1007\/3-540-52513-0_18"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T22:42:29Z","timestamp":1683844949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}