{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:20:20Z","timestamp":1759638020087,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_16","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T09:14:28Z","timestamp":1329556468000},"page":"251-269","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Modelling and Reasoning in an Institution for Processes and Data"],"prefix":"10.1007","author":[{"given":"Liam","family":"O\u2019Reilly","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"eft\/pos 2000 Specification, version 1.0.1. EP2 Consortium (2002)"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-642-59851-7_11","volume-title":"Algebraic Fondations of System Specification","author":"M. Bidoit","year":"1999","unstructured":"Bidoit, M., Cengarle, V.V., Hennicker, R.: Proof systems for structured specifications and their refinements. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) Algebraic Fondations of System Specification, pp. 385\u2013434. Springer, Heidelberg (1999)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: May I borrow your logic (Transporting logical structures along maps). Theoretical Computer Science\u00a0173, 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"16_CR6","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Logical Environments, Cambridge, pp. 83\u2013130 (1993)"},{"key":"16_CR7","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: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 5\u201325. Springer, Heidelberg (1998)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-31959-7_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Gimblett","year":"2005","unstructured":"Gimblett, A., Roggenbach, M., Schlingloff, B.-H.: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. In: Fiadeiro, J.L., Mosses, P.D., Yu, Y. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 61\u201378. Springer, Heidelberg (2005)"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-03429-9_14","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Kahsai","year":"2009","unstructured":"Kahsai, T., Roggenbach, M.: Property Preserving Refinement for Csp-Casl. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 206\u2013220. Springer, Heidelberg (2009)"},{"key":"16_CR12","unstructured":"Mossakowski, T.: ModalCASL. Language Summary (2004), http:\/\/www.informatik.uni-bremen.de\/~till\/papers\/Modal-Summary.pdf"},{"key":"16_CR13","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.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"16_CR14","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.\u00a04409, pp. 92\u2013110. Springer, Heidelberg (2007)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"16_CR16","unstructured":"O\u2019Reilly, L., Kahsai, T., Mossakowski, T., Roggenbach, M.: The CSP-CASL institution. Technical Report CSR-1-2011, Swansea University (2011)"},{"issue":"2","key":"16_CR17","first-page":"69","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. ENTCS\u00a0250(2), 69\u201384 (2009)","journal-title":"ENTCS"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/s00165-004-0050-9","volume":"16","author":"J.N. Reed","year":"2004","unstructured":"Reed, J.N., Sinclair, J.E., Roscoe, A.W.: Responsiveness of interoperating components. Formal Asp. Comput.\u00a016(4), 394\u2013411 (2004)","journal-title":"Formal Asp. Comput."},{"key":"16_CR19","unstructured":"Reggio, G., Astesiano, E., Choppy, C.: Casl-LTL. Technical Report DISI-TR-99-34, Universit\u00e0 di Genova (2000)"},{"issue":"1","key":"16_CR20","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0354(1), 42\u201371 (2006)","journal-title":"Theoretical Computer Science"},{"key":"16_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"A.W. Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer, Heidelberg (2010)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076, 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"16_CR23","unstructured":"Scattergood, B.: The semantics and implementation of machine-readable CSP. PhD thesis, Oxford University (1998)"},{"key":"16_CR24","unstructured":"Wehrheim, H.: Behavioural subtyping in object-oriented specification formalisms, Habilitation thesis, Carl-von-Ossietzky-Universit\u00e4t Oldenburg (2002)"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-31959-7_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Zaw\u0142ocki","year":"2005","unstructured":"Zaw\u0142ocki, A.: Architectural Specifications for Reactive Systems. In: Fiadeiro, J.L., Mosses, P.D., Yu, Y. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 252\u2013269. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,29]],"date-time":"2021-12-29T21:56:11Z","timestamp":1640814971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}