{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:50:27Z","timestamp":1761929427122,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034282"},{"type":"electronic","value":"9783642034299"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03429-9_14","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T08:12:52Z","timestamp":1251447172000},"page":"206-220","source":"Crossref","is-referenced-by-count":6,"title":["Property Preserving Refinement for Csp-Casl"],"prefix":"10.1007","author":[{"given":"Temesghen","family":"Kahsai","sequence":"first","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Atiya, D.-A., King, S., Woodcock, J.: Simpler reasoning about system properties: a proof-by-refinement technique. Electronic Notes Theoretical Computer Science\u00a0137(2) (2005)","DOI":"10.1016\/j.entcs.2005.04.022"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Observational interpretation of CASL specifications. Mathematical Structures in Computer Science\u00a018(2) (2008)","DOI":"10.1017\/S0960129507006536"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic Methodology and Software Technology","author":"B. Buth","year":"1997","unstructured":"Buth, B., Kouvaras, M., Shi, H.: Deadlock analysis for a fault-tolerant system. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349. Springer, Heidelberg (1997)"},{"key":"14_CR4","volume-title":"Algebraic Foundations of Systems Specification","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Kreowski, H.-J.: Refinement and implementation. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)"},{"key":"14_CR5","unstructured":"Gimblett, A.: Tool support for CSP-CASL. MPhil Thesis, Swansea University (2008)"},{"key":"14_CR6","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, H.: Towards a formal specification of an electronic payment systems in CAP-CASL. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 61\u201378. Springer, Heidelberg (2005)"},{"key":"14_CR7","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":"14_CR8","unstructured":"Isobe, Y., Roggenbach, M.: Webpage on CSP-Prover, \n                    \n                      http:\/\/staff.aist.go.jp\/y-isobe\/CSP-Prover\/CSP-Prover.html"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-31980-1_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Isobe","year":"2005","unstructured":"Isobe, Y., Roggenbach, M.: A generic theorem prover of CSP refinement. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 108\u2013123. Springer, Heidelberg (2005)"},{"key":"14_CR10","unstructured":"Isobe, Y., Roggenbach, M., Gruner, S.: Extending CSP-Prover by deadlock-analysis: Towards the verification of systolic arrays. In: FOSE 2005, Japanese Lecture Notes Series 31. Kindai-kagaku-sha (2005)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-31959-7_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. L\u00fcth","year":"2005","unstructured":"L\u00fcth, C., Roggenbach, M., Schr\u00f6der, L.: CCC \u2014the Casl Consistency Checker. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 94\u2013105. Springer, Heidelberg (2005)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-71998-4_5","volume-title":"Recent Trends in Algebraic Development Techniques","author":"K. L\u00fcttich","year":"2007","unstructured":"L\u00fcttich, K., Mossakowski, T.: Reasoning support for CASL with automated theorem proving systems. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 74\u201391. Springer, Heidelberg (2007)"},{"key":"14_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":"14_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":"14_CR15","unstructured":"Mossakowski, T., Roggenbach, M.: An institution for processes and data. In: WADT 2008 \u2013 Preliminary Proceedings, TR-08-15. Universit\u00e0 di Pisa (2008)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-31959-7_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T., Sannella, D., Tarlecki, A.: A simple refinement language for CASL. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 162\u2013185. Springer, Heidelberg (2005)"},{"key":"14_CR17","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":"14_CR18","unstructured":"O\u2019Reilly, L., Isobe, Y., Roggenbach, M.: CSP-CASL-Prover \u2013 a generic tool for process and data refinement. Electronic Notes in Theoretical Computer Science ( to appear)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Roggenbach, M.: CSP-Casl \u2013 A new integration of process algebra and algebraic specification. Theoretical Computer Science\u00a0354 (2006)","DOI":"10.1016\/j.tcs.2005.11.007"},{"key":"14_CR20","volume-title":"The theory and practice of concurrency","author":"A. Roscoe","year":"1998","unstructured":"Roscoe, A.: The theory and practice of concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"14_CR21","unstructured":"Shi, H., Peleska, J., Kouvaras, M.: Combining methods for the analysis of a fault-tolerant system (1999)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Wirth, N.: Program development by stepwise refinement. Communications of the ACM\u00a014(4) (1971)","DOI":"10.1145\/362575.362577"}],"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-03429-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T10:23:58Z","timestamp":1552127038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}