{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:51:14Z","timestamp":1773085874962,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411963","type":"print"},{"value":"9783540409113","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_12","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:23:29Z","timestamp":1192785809000},"page":"194-213","source":"Crossref","is-referenced-by-count":13,"title":["Structural Refinement in Object-Z \/ CSP"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Graeme","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s001650050007","volume":"10","author":"J. Derrick","year":"1998","unstructured":"J. Derrick, E. Boiten, H. Bowman, and M. Steen. Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10:125\u2013159, December 1998.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ-a combination of CSP and Object-Z. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems, pages 423\u2013438. Chapman & Hall, 19","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"C. Fischer and H. Wehrheim. Model-checking CSP-OZ specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, 1st International Conference on Integrated Formal Methods, pages 315\u2013334. Springer-Verlag, 19","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"12_CR4","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, 1985."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"B.P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In 20th International Conference on Software Engineering (ICSE\u201998), pages 95\u2013104. IEEE Computer Society Press, 1998.","DOI":"10.1109\/ICSE.1998.671106"},{"key":"12_CR6","unstructured":"R. Milner. Commnication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"12_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"Formal Methods Europe (FME\u201997)","author":"G. Smith","year":"1997","unstructured":"G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Formal Methods Europe (FME\u201997), volume 1313 of LNCS, pages 62\u201381. Springer-Verlag, 1997."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M.G. Hinchey and Shaoying Lui, editors, First International Conference on Formal Engineering Methods (ICFEM\u2019 97), pages 293\u2013302. IEEE Computer Society Press, 1997.","DOI":"10.1109\/ICFEM.1997.630436"},{"key":"12_CR10","unstructured":"G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems-an integration of Object-Z and CSP. Formal Methods in System Design, 2000. (To appear.)."},{"key":"12_CR11","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992."},{"key":"12_CR12","unstructured":"J.C.P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. International Series in Computer Science. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:13:27Z","timestamp":1737486807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}