{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:00Z","timestamp":1725558960368},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255598"},{"type":"electronic","value":"9783540320074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415787_3","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:07:36Z","timestamp":1278886056000},"page":"24-44","source":"Crossref","is-referenced-by-count":9,"title":["Non-atomic Refinement in Z and CSP"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L.: Action Refinement in Process Algebras. CUP, London (1992)","DOI":"10.1007\/3-540-54233-7_159"},{"key":"3_CR2","volume-title":"3rd BCS-FACS Northern Formal Methods Workshop","author":"E.A. Boiten","year":"1998","unstructured":"Boiten, E.A., Derrick, J.: IO-refinement in Z. In: Evans, A., Duke, D.J., Clark, T. (eds.) 3rd BCS-FACS Northern Formal Methods Workshop, September 1998. Springer, Heidelberg (1998), http:\/\/www.ewic.org.uk\/"},{"key":"3_CR3","unstructured":"Bolton, C., Davies, J.: A Singleton Failures Semantics for Communicating Sequential Processes. In: Formal Aspects of Computing. Under consideration (2002)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-47884-1_13","volume-title":"Integrated Formal Methods","author":"C. Bolton","year":"2002","unstructured":"Bolton, C., Davies, J.: Refinement in Object-Z and CSP. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 225\u2013244. Springer, Heidelberg (2002)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1007\/3-540-48118-4_28","volume-title":"FM\u201999 - Formal Methods","author":"J. Derrick","year":"1999","unstructured":"Derrick, J., Boiten, E.: Non-atomic refinement in Z. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1477\u20131496. Springer, Heidelberg (1999)"},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)"},{"issue":"2-3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing\u00a015(2-3), 182\u2013214 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44880-2_10","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Wehrheim, H.: Using coupled simulations in non-atomic refinement. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 127\u2013147. Springer, Heidelberg (2003)"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Second IFIP International conference on Formal Methods for Open Object-based Distributed Systems","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ - a combination of CSP and Object-Z. In: Bowman, H., Derrick, J. (eds.) Second IFIP International conference on Formal Methods for Open Object-based Distributed Systems, July 1997, pp. 423\u2013438. Chapman & Hall, Boca Raton (1997)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-49676-2_2","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"C. Fischer","year":"1998","unstructured":"Fischer, C.: How to combine Z with a process algebra. In: P. Bowen, J., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 5\u201323. Springer, Heidelberg (1998)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/ICFEM.1997.630434","volume-title":"First International Conference on Formal Engineering Methods (ICFEM\u201997)","author":"A. Galloway","year":"1997","unstructured":"Galloway, A., Stoddart, W.: An operational semantics for ZCCS. In: Hinchey, M.G., Liu, S. (eds.) First International Conference on Formal Engineering Methods (ICFEM 1997), Hiroshima, Japan, November 1997, pp. 272\u2013282. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01887207","volume":"1","author":"J. He","year":"1989","unstructured":"He, J.: Process simulation and refinement. Formal Aspects of Computing\u00a01, 229\u2013241 (1989)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-54430-5_96","volume-title":"CONCUR \u201991","author":"W. Janssen","year":"1991","unstructured":"Janssen, W., Poel, M., Zwiers, J.: Actions systems and action refinement in the development of parallel systems. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 298\u2013316. Springer, Heidelberg (1991)"},{"key":"3_CR14","unstructured":"Jifeng, H.: Process refinement. In: McDermid, J. (ed.) The Theory and Practice of Refinement, Butterworths (1989)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01788563","volume":"33","author":"M.B. Josephs","year":"1988","unstructured":"Josephs, M.B.: A state-based approach to communicating processes. Distributed Computing\u00a033, 9\u201318 (1988)","journal-title":"Distributed Computing"},{"key":"3_CR16","volume-title":"20th International Conference on Software Engineering (ICSE 1998)","author":"B.P. Mahony","year":"1998","unstructured":"Mahony, B.P., Dong, J.S.: Blending Object-Z and timed CSP: An introduction to TCOZ. In: Futatsugi, K., Kemmerer, R., Torii, K. (eds.) 20th International Conference on Software Engineering (ICSE 1998). IEEE Press, Los Alamitos (1998)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/BFb0084813","volume-title":"CONCUR \u201992","author":"J. Parrow","year":"1992","unstructured":"Parrow, J., Sj\u00f6din, P.: Multiway Synchronisation Verified with Coupled Simulation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 518\u2013533. Springer, Heidelberg (1992)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-44618-4_22","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Rensink","year":"2000","unstructured":"Rensink, A.: Action Contraction. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 290\u2013304. Springer, Heidelberg (2000)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029990","volume-title":"Mathematical Foundations of Computer Science 1997","author":"A. Rensink","year":"1997","unstructured":"Rensink, A., Wehrheim, H.: Dependency-based action refinement. In: Privara, I., Ru\u017ei\u010dka, P. (eds.) MFCS 1997. LNCS, vol.\u00a01295. Springer, Heidelberg (1997)"},{"key":"3_CR20","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency (1998)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"Smith, G., Derrick, J.: Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in Systems Design\u00a018, 249\u2013284 (2001)","journal-title":"Formal Methods in Systems Design"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-49676-2_20","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"S. Stepney","year":"1998","unstructured":"Stepney, S., Cooper, D., Woodcock, J.C.P.: More powerful data refinement in Z. In: Bowen, J. P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 284\u2013307. Springer, Heidelberg (1998)"},{"key":"3_CR23","first-page":"437","volume-title":"International Conference on Integrated Formal Methods 1999 (IFM 1999)","author":"H. Treharne","year":"1999","unstructured":"Treharne, H., Schneider, S.: Using a process algebra to control B operations. In: Araki, K., Galloway, A., Taguchi, K. (eds.) International Conference on Integrated Formal Methods 1999 (IFM 1999), York, July 1999, pp. 437\u2013456. Springer, Heidelberg (1999)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science 1989","author":"R. Glabbeek van","year":"1989","unstructured":"van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. In: Kreczmar, A., Mirkowska, G. (eds.) MFCS 1989. LNCS, vol.\u00a0379, pp. 237\u2013248. Springer, Heidelberg (1989)"},{"key":"3_CR25","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall, Englewood Cliffs (1996)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"VDM \u201990. VDM and Z - Formal Methods in Software Development","author":"J.C.P. Woodcock","year":"1990","unstructured":"Woodcock, J.C.P., Morgan, C.C.: Refinement of state-based concurrent systems. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol.\u00a0428. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","ZB 2005: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415787_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:51:51Z","timestamp":1605642711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415787_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255598","9783540320074"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11415787_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}