{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:48:56Z","timestamp":1777578536837,"version":"3.51.4"},"reference-count":17,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.55.9","type":"journal-article","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T22:01:08Z","timestamp":1308348068000},"page":"139-154","source":"Crossref","is-referenced-by-count":11,"title":["A CSP Account of Event-B Refinement"],"prefix":"10.4204","volume":"55","author":[{"given":"Steve","family":"Schneider","sequence":"first","affiliation":[{"name":"University of Surrey"}]},{"given":"Helen","family":"Treharne","sequence":"additional","affiliation":[{"name":"University of Surrey"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[{"name":"University of Paderborn"}]}],"member":"2720","published-online":{"date-parts":[[2011,6,17]]},"reference":[{"key":"Abrial09","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R. Abrial","year":"2010"},{"issue":"6","key":"DBLP:journals\/sttt\/AbrialBHHMV10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in Event-B","volume":"12","author":"J-R. Abrial","year":"2010","journal-title":"STTT"},{"key":"AbrialBHV08","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8","article-title":"A Roadmap for the Rodin Toolset","volume-title":"ABZ","volume":"5238","author":"J-R. Abrial","year":"2008"},{"key":"BoitenD09","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-00255-7","article-title":"Modelling Divergence in Relational Concurrent Refinement","volume-title":"IFM","volume":"5423","author":"E. A. Boiten","year":"2009"},{"key":"BolDav02","series-title":"LNCS","first-page":"225","article-title":"Refinement in Object-Z and CSP","volume-title":"IFM 2002: Integrated Formal Methods","volume":"2335","author":"C. Bolton","year":"2002"},{"key":"butlerphd","volume-title":"A CSP approach to Action Systems","author":"M. J. Butler","year":"1992"},{"key":"butler2000","first-page":"182","article-title":"csp2B: A Practical Approach to Combining CSP and B","volume-title":"FACS","author":"M. J. Butler","year":"2000"},{"key":"Derrick01a","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"},{"key":"Derrick02c","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","article-title":"Relational Concurrent Refinement","volume":"15","author":"J. Derrick","year":"2003","journal-title":"Formal Aspects of Computing"},{"key":"hoare85","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985"},{"key":"Morgan90","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-1-4612-4476-9_37","article-title":"Of wp and CSP","volume-title":"Beauty is our business: a birthday salute to Edsger W. Dijkstra","author":"C. Morgan","year":"1990"},{"key":"OlderogW05","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.scico.2004.05.017","article-title":"Specification and (property) inheritance in CSP-OZ","volume":"55","author":"E-R. Olderog","year":"2005","journal-title":"Sci. Comput. Program."},{"key":"roscoe:tpc","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998"},{"key":"schneider99","volume-title":"Concurrent and Real-time Systems: The CSP approach","author":"S. Schneider","year":"1999"},{"issue":"4","key":"SchneiderT05","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/s00165-005-0076-7","article-title":"CSP theorems for communicating B machines","volume":"17","author":"S. Schneider","year":"2005","journal-title":"Formal Asp. Comput."},{"key":"DBLP:conf\/ifm\/SchneiderTW10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-16265-7","article-title":"A CSP Approach to Control in Event-B","volume-title":"IFM","volume":"6396","author":"S. Schneider","year":"2010"},{"key":"WoodcockC02","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","article-title":"The Semantics of Circus","volume-title":"ZB","volume":"2272","author":"J. Woodcock","year":"2002"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T21:42:31Z","timestamp":1497908551000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1106.4098v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,17]]},"references-count":17,"URL":"https:\/\/doi.org\/10.4204\/eptcs.55.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,17]]}}}