{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:25:31Z","timestamp":1743078331591,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68690-5_9","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"140-156","source":"Crossref","is-referenced-by-count":2,"title":["Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability"],"prefix":"10.1007","author":[{"given":"Marie","family":"Farrell","sequence":"first","affiliation":[]},{"given":"Rosemary","family":"Monahan","sequence":"additional","affiliation":[]},{"given":"James F.","family":"Power","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","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, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"issue":"6","key":"9_CR2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"doi-asserted-by":"crossref","unstructured":"Farrell, M., Monahan, R., Power, J.F.: Providing a semantics and modularisation constructs for Event-B using institutions. In: International Workshop on Algebraic Development Techniques (2016)","key":"9_CR3","DOI":"10.1007\/978-3-319-72044-9_8"},{"key":"9_CR4","first-page":"1","volume-title":"Complex Systems Design & Management","author":"J Fitzgerald","year":"2014","unstructured":"Fitzgerald, J., Larsen, P.G., Woodcock, J.: Foundations for model-based engineering of systems of systems. In: Aiguier, M., Boulanger, F., Krob, D., Marchal, C. (eds.) Complex Systems Design & Management, pp. 1\u201319. Springer, Cham (2014)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-1-4757-3472-0_16","volume-title":"The Origin of Concurrent Programming","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. In: Hansen, P.B. (ed.) The Origin of Concurrent Programming, pp. 413\u2013443. Springer, New York (1978)"},{"unstructured":"Iliasov, A.: On Event-B and control flow. Technical report, Newcastle University, Newcastle Upon Tyne, U.K (2009)","key":"9_CR7"},{"issue":"1","key":"9_CR8","first-page":"32","volume":"5","author":"Y Isobe","year":"2010","unstructured":"Isobe, Y., Roggenbach, M.: CSP-Prover - a proof tool for the verification of scalable concurrent systems. Inf. Media Technol. 5(1), 32\u201339 (2010)","journal-title":"Inf. Media Technol."},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-46675-9_1","volume-title":"Fundamental Approaches to Software Engineering","author":"A Knapp","year":"2015","unstructured":"Knapp, A., Mossakowski, T., Roggenbach, M., Glauer, M.: An institution for simple UML state machines. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 3\u201318. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46675-9_1"},{"issue":"2","key":"9_CR10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71209-1_40"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Roggenbach, M.: Structured CSP \u2013 a process algebra as an institution. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 92\u2013110. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71998-4_6"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Casl Reference Manual. The Complete Documentation of the Common Algebraic Specification Language","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. The Complete Documentation of the Common Algebraic Specification Language. LNCS, vol. 2960. Springer, Heidelberg (2004)"},{"unstructured":"O\u2019Reilly, L.: Structured Specification with Processes and Data. Ph.D. thesis, Swansea University, Swansea, U.K (2012)","key":"9_CR14"},{"issue":"2","key":"9_CR15","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.entcs.2009.08.018","volume":"250","author":"L O\u2019Reilly","year":"2009","unstructured":"O\u2019Reilly, L., Roggenbach, M., Isobe, Y.: CSP-CASL-Prover: a generic tool for process and data refinement. Electron. Notes Theor. Comput. Sci. 250(2), 69\u201384 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"9_CR16","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.tcs.2005.11.007","volume":"354","author":"M Roggenbach","year":"2006","unstructured":"Roggenbach, M.: CSP-CASL - a new integration of process algebra and algebraic specification. Theor. Comput. Sci. 354(1), 42\u201371 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sanella","year":"2012","unstructured":"Sanella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Springer, Heidelberg (2012)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-16265-7_19","volume-title":"Integrated Formal Methods","author":"S Schneider","year":"2010","unstructured":"Schneider, S., Treharne, H., Wehrheim, H.: A CSP approach to control in Event-B. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 260\u2013274. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16265-7_19"},{"key":"9_CR19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.entcs.2011.11.019","volume":"280","author":"S Schneider","year":"2011","unstructured":"Schneider, S., Treharne, H., Wehrheim, H.: Bounded retransmission in Event-B $$\\Vert $$ CSP: a case study. Electron. Notes Theor. Comput. Sci. 280, 69\u201380 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s00165-012-0265-0","volume":"26","author":"S Schneider","year":"2014","unstructured":"Schneider, S., Treharne, H., Wehrheim, H.: The behavioural semantics of Event-B refinement. Formal Aspects Comput. 26, 251\u2013280 (2014)","journal-title":"Formal Aspects Comput."},{"unstructured":"Snook, C., Butler, M.: UML-B and Event-B: an integration of languages and tools. In: IASTED International Conference on Software Engineering, pp. 336\u2013341, Innsbruck, Austria (2008)","key":"9_CR21"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T07:26:15Z","timestamp":1570173975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}