{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:26:46Z","timestamp":1726406806478},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:35Z","timestamp":1330298975000},"page":"62-81","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["A semantic integration of object-Z and CSP for the specification of concurrent systems"],"prefix":"10.1007","author":[{"given":"Graeme","family":"Smith","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"M. Benjamin. A message passing system. An example of combining CSP and Z. In J.E. Nicholls, editor, 4th Z Users Workshop, Workshops in Computing, pages 221\u2013228. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4471-3877-8_15"},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201359, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"S.D. Brookes and A.W. Roscoe. An improved failures model for communicating processes. In Pittsburgh Symposium on Concurrency, volume 197 of Lecture Notes in Computer Science, pages 281\u2013305. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_14"},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF01214622","volume":"7","author":"M.J. Butler","year":"1995","unstructured":"M.J. Butler and C.C. Morgan. Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing, 7(1):37\u201353, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"J. Derrick, H. Bowman, and M. Steen. Viewpoints and objects. In J. Bowen and M. Hinchey, editors, 9th International Conference of Z Users (ZUM'95), volume 967 of Lecture Notes in Computer Science, pages 449\u2013468. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60271-2_136"},{"key":"4_CR7","unstructured":"J. Dong, R. Duke, and G. Rose. An object-oriented approach to the semantics of programming languages. In G. Gupta, editor, 17th Annual Computer Science Conference (ACSC'17), pages 767\u2013775, 1994."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bj\u00f8rner, C.A.R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z., volume 428 of Lecture Notes in Computer Science, pages 242\u2013262. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_14"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","volume":"17","author":"R. Duke","year":"1995","unstructured":"R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511\u2013533, 1995.","journal-title":"Computer Standards and Interfaces"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrich, J. Goguen, and A. Sernadas. A categorical theory of objects as observed processes. In J.W. Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, pages 203\u2013228. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0019445"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF01887199","volume":"1","author":"M. Nielsen","year":"1989","unstructured":"M. Nielsen et al. The RAISE language, methods and tools. Formal Aspects of Computing, 1:85\u2013114, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR12","unstructured":"J. He. Process refinement. In J. McDermid, editor, The Theory and Practice of Refinement. Butterworths, 1989."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"M. Heisel and C. S\u00fchl. Formal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proceedings 15th International Conference on Computer Safety, Reliability and Security, pages 31\u201345. Springer, 1996.","DOI":"10.1007\/978-1-4471-0937-2_3"},{"key":"4_CR14","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, 1985."},{"key":"4_CR15","unstructured":"ITU Recommendation X.901-904. Open Distributed Processing-Reference Model \u2014 Parts 1\u20134, July 1995."},{"key":"4_CR16","unstructured":"C.B. Jones. Systematic Software Development using VDM. Series in Computer Science. Prentice-Hall International, 1986."},{"key":"4_CR17","doi-asserted-by":"crossref","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":"4_CR18","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"A.W. Roscoe. An alternative order for the failures model. Journal of Logic and Computation, 3(2), 1993.","DOI":"10.1093\/logcom\/2.5.557"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"A.W. Roscoe. Unbounded nondeterminism in CSP. Journal of Logic and Computation, 3(2), 1993.","DOI":"10.1093\/logcom\/3.2.131"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"M. Shaw and D. Garlan. Formulations and formalisms in software architecture. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 307\u2013323. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0015251"},{"key":"4_CR22","unstructured":"G. Smith. Extending W for Object-Z. In J. Bowen and M. Hinchey, editors, 9th International Conference of Z Users, volume 967 of Lecture Notes in Computer Science, pages 276\u2013295. Springer-Verlag, 1995."},{"issue":"3","key":"4_CR23","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01211075","volume":"7","author":"G. Smith","year":"1995","unstructured":"G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289\u2013313, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR24","unstructured":"G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. Submitted for publication, 1997."},{"key":"4_CR25","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual (2nd Ed.). Series in Computer Science. Prentice-Hall International, 1992."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager. Process algebra semantics for POOL. Technical Report CSR8629, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1991.","DOI":"10.1017\/CBO9780511608841.010"},{"key":"4_CR27","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'90: VDM and Z!, volume 428 of Lecture Notes in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_18"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"A. Yonezawa and M. Tokoro, editors. Object-Oriented Concurrent Programming. MIT Press, 1987.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:50:48Z","timestamp":1640951448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}