{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:14:31Z","timestamp":1737090871146,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_14","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"108-119","source":"Crossref","is-referenced-by-count":15,"title":["Abstract Specification in Object-Z and CSP"],"prefix":"10.1007","author":[{"given":"Graeme","family":"Smith","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-57208-2_16","volume-title":"International Conference on Concurrency Theory (CONCUR\u201993)","author":"M.J. Butler","year":"1993","unstructured":"MJ. Butler. Refinement and decomposition of value-passing action systems. In E. Best, editor, International Conference on Concurrency Theory (CONCUR\u201993), volume 715 of Lecture Notes in Computer Science, pages 217\u2013232. Springer-Verlag, 1993."},{"doi-asserted-by":"crossref","unstructured":"J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.","key":"14_CR2","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/3-540-40911-4_12","volume-title":"2nd International Conference on Integrated Formal Methods (IFM\u201900)","author":"J. Derrick","year":"2000","unstructured":"J. Derrick and G. Smith. Structural refinement in Object-Z\/CSP. In W. Grieskamp, T. Santen, and B. Stoddart, editors, 2nd International Conference on Integrated Formal Methods (IFM\u201900), volume 1945 of Lecture Notes in Computer Science, pages 194\u2013213. Springer-Verlag, 2000."},{"unstructured":"R. Duke and G. Rose. Formal Object-Oriented Specification using Object-Z. MacMillan, 2000.","key":"14_CR4"},{"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 (FMOODS\u201997), pages 423\u2013438. Chapman & Hall, 1997.","key":"14_CR5","DOI":"10.1007\/978-0-387-35261-9_29"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","key":"14_CR6","DOI":"10.1007\/978-3-642-82921-5_4"},{"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.","key":"14_CR7","DOI":"10.1109\/ICSE.1998.671106"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989.","key":"14_CR8"},{"unstructured":"A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.","key":"14_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.","key":"14_CR10","DOI":"10.1109\/ICFEM.1997.630436"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2000","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, 18(3):249\u2013284, 2000.","journal-title":"Formal Methods in System Design"},{"key":"14_CR12","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 Lecture Notes in Computer Science, pages 62\u201381. Springer-Verlag, 1997."},{"doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","key":"14_CR13","DOI":"10.1007\/978-1-4615-5265-9"},{"unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.","key":"14_CR14"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:19:49Z","timestamp":1737019189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}