{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:39:38Z","timestamp":1743147578730,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_19","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"300-318","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Timed CSP and Object-Z"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"19_CR1","volume-title":"Action Refinement in Process Algebras","author":"L. Aceto","year":"1992","unstructured":"L. Aceto. Action Refinement in Process Algebras. CUP, London, 1992."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-15670-4_14","volume-title":"Pittsburgh Symposium on Concurrency","author":"S.D. Brookes","year":"1985","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."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1007\/3-540-48118-4_28","volume-title":"FM\u201999 World Congress on Formal Methods in the Development of Computing Systems","author":"J. Derrick","year":"1999","unstructured":"J. Derrick and E. A. Boiten. Non-atomic refinement in Z. In J. M. Wing, J. C. P. Woodcock, and J. Davies, editors, FM\u201999 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477\u20131496, Berlin, 1999. Springer-Verlag."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"J. Derrick and E.A. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"19_CR5","unstructured":"R. Duke and G. A. Rose. Formal Object-Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, 2000."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ \u2014 a combination of CSP and Object-Z. In H. Bowman and J. Derrick, editors, Second IFIP International conference on Formal Methods for Open Object-based Distributed Systems, pages 423\u2013438. Chapman & Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BFb0056022","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"C. Fischer","year":"1998","unstructured":"C. Fischer. How to combine Z with a process algebra. 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 5\u201323. Springer-Verlag, 1998."},{"key":"19_CR8","unstructured":"C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg, January 2000."},{"key":"19_CR9","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, International Conference on Integrated Formal Methods 1999 (IFM\u201999), pages 315\u2013334, York, July 1999. Springer.","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"19_CR10","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":"19_CR11","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":"19_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BFb0032002","volume-title":"Real-Time: Theory in Practice (REX Workshop, Mook, The Netherlands, June 1991)","author":"N. A. Lynch","year":"1992","unstructured":"N. A. Lynch and F. Vaandrager. Forward and backward simulations for timing-based systems. In J. W. de Bakker, W.-P. de Roever, C. Huizing, and G. Rozenberg, editors, Real-Time: Theory in Practice (REX Workshop, Mook, The Netherlands, June 1991), LNCS 600, pages 397\u2013446. Springer-Verlag, 1992."},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"B. Mahony and J.S. Dong. Timed communicating Object-Z. IEEE Transactions on Software Engineering, 26(2):150\u2013177, February 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR14","unstructured":"A.W. Roscoe. The Theory and Practice of Concurrency. International Series in Computer Science. Prentice Hall, 1998."},{"key":"19_CR15","unstructured":"S. Schneider. Concurrent and Real-Time Systems: The CSP Approach. Wiley, 2000."},{"issue":"3","key":"19_CR16","doi-asserted-by":"publisher","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":"19_CR17","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\u2019 97)","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\u2019 97), LNCS 1313, pages 62\u201381, Graz, Austria, September 1997. Springer-Verlag."},{"key":"19_CR18","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":"19_CR19","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 S. Liu, editors, Formal Engineering Methods, pages 293\u2013302, Hiroshima, Japan, 12\u201414 November 1997. IEEE Computer Society Press.","DOI":"10.1109\/ICFEM.1997.630436"},{"key":"19_CR20","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems \u2014 an integration of Object-Z and CSP. Formal Methods in System Design, 18:249\u2013284, May 2001.","journal-title":"Formal Methods in System Design"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"C. S\u00fchl. RT-Z: An integration of Z and timed CSP. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated Formal Methods 1999 (IFM\u201999), pages 29\u201348. Springer, July 1999.","DOI":"10.1007\/978-1-4471-0851-1_3"}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:04:28Z","timestamp":1737173068000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}