{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:53:39Z","timestamp":1752461619455,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16265-7_19","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T21:45:41Z","timestamp":1285883141000},"page":"260-274","source":"Crossref","is-referenced-by-count":22,"title":["A CSP Approach to Control in Event-B"],"prefix":"10.1007","author":[{"given":"Steve","family":"Schneider","sequence":"first","affiliation":[]},{"given":"Helen","family":"Treharne","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-87603-8_35","volume-title":"Abstract State Machines, B and Z","author":"J.-R. Abrial","year":"2008","unstructured":"Abrial, J.-R., Butler, M.J., Hallerstede, S., Voisin, L.: A Roadmap for the Rodin Toolset. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol.\u00a05238, p. 347. Springer, Heidelberg (2008)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Butler, M.J.: csp2B: A practical approach to combining CSP and B. In: FACS, pp. 182\u2013196 (2000)","DOI":"10.1007\/PL00003930"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005: Formal Methods","author":"M.J. Butler","year":"2005","unstructured":"Butler, M.J., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"key":"19_CR5","doi-asserted-by":"publisher","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)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/11784180_11","volume-title":"Algebraic Methodology and Software Technology","author":"J. Derrick","year":"2006","unstructured":"Derrick, J., Wehrheim, H.: Model transformations incorporating multiple views. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 111\u2013126. Springer, Heidelberg (2006)"},{"key":"19_CR7","doi-asserted-by":"crossref","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, pp. 423\u2013438 (July 1997)","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"19_CR8","unstructured":"Hoang, T.S.: Personal Communication, Email (May 25, 2010)"},{"key":"19_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"19_CR10","unstructured":"Iliasov, A.: On Event-B and Control Flow. Technical report, School of Computing Science, Newcastle University (July 2009)"},{"key":"19_CR11","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":"19_CR12","unstructured":"M\u00e9tayer, C., Abrial, J.-R., Voisin, L.: Event-B language. RODIN Project Deliverable 3.2, http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/D7.pdf (accessed 25\/5\/10)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Morgan, C.: Of wp and CSP. In: Beauty is Our Business: a Birthday Salute to E. W. Dijkstra, pp. 319\u2013326 (1990)","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"19_CR14","unstructured":"Mussat, L.: Mod\u00e9les R\u00e9actifs. Technical report, ClearSy (July 2008)"},{"issue":"1-3","key":"19_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.scico.2004.05.017","volume":"55","author":"E.-R. Olderog","year":"2005","unstructured":"Olderog, E.-R., Wehrheim, H.: Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program.\u00a055(1-3), 227\u2013257 (2005)","journal-title":"Sci. Comput. Program."},{"key":"19_CR16","volume-title":"Concurrent and Real-time Systems: The CSP approach","author":"S. Schneider","year":"1999","unstructured":"Schneider, S.: Concurrent and Real-time Systems: The CSP approach. Wiley, Chichester (1999)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"Smith, G.: A semantic integration of Object-Z and CSP for the specification of concurrent systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 62\u201381. Springer, Heidelberg (1997)"},{"issue":"3","key":"19_CR18","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 System Design\u00a018(3), 249\u2013284 (2001)","journal-title":"Formal Methods in System Design"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-44525-0_12","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"H. Treharne","year":"2000","unstructured":"Treharne, H., Schneider, S.: How to drive a B machine. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 188\u2013208. Springer, Heidelberg (2000)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T01:00:13Z","timestamp":1559696413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}