{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T07:08:12Z","timestamp":1750489692356},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354628"},{"type":"electronic","value":"9783540354642"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780274_18","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:50:32Z","timestamp":1150800632000},"page":"333-354","source":"Crossref","is-referenced-by-count":4,"title":["Proving Behavioral Refinements of COL-specifications"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Algebraic Foundations of Systems Specification","year":"1999","key":"18_CR1","unstructured":"Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)"},{"key":"18_CR2","first-page":"385","volume-title":"[1]","author":"M. Bidoit","year":"1999","unstructured":"Bidoit, M., Cengarle, M.-V., Hennicker, R.: Proof systems for structured specifications and their refinements. In: [1],\u00a0ch. 11, pp. 385\u2013433. Springer, Heidelberg (1999)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1007\/s002360050149","volume":"35","author":"M. Bidoit","year":"1998","unstructured":"Bidoit, M., Hennicker, R.: Modular correctness proofs of behavioural implementations. Acta Informatica\u00a035, 951\u20131005 (1998)","journal-title":"Acta Informatica"},{"issue":"1-2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2005.09.002","volume":"67","author":"M. Bidoit","year":"2006","unstructured":"Bidoit, M., Hennicker, R.: Constructor-based observational logic. Journal of Logic and Algebraic Programming\u00a067(1-2), 3\u201351 (2006), Preliminary version, available at \n                    \n                      http:\/\/www.lsv.ens-cachan.fr\/Publis\/PAPERS\/PDF\/BID-HEN-JLAP.pdf","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","volume":"165","author":"M. Bidoit","year":"1996","unstructured":"Bidoit, M., Hennicker, R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science\u00a0165(1), 3\u201355 (1996)","journal-title":"Theoretical Computer Science"},{"key":"18_CR6","unstructured":"Bidoit, M., Hennicker, R.: Observer complete definitions are behaviourally coherent. In: Proc. OBJ\/CafeOBJ\/Maude Workshop at Formal Methods, Toulouse, France, Septmeber, pp. 83\u201394. THETA (1999)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/11560647_22","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"M. Bidoit","year":"2005","unstructured":"Bidoit, M., Hennicker, R.: Externalized and internalized notions of behavioral refinement. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 334\u2013350. Springer, Heidelberg (2005)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11968","volume-title":"Casl User Manual \u2013 Introduction to Using the Common Algebraic Specification Language","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.D.: CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"18_CR9","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification.","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing. World Scientific, Singapore (1998)"},{"key":"18_CR10","series-title":"ch:7","first-page":"201","volume-title":"[1]","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Kreowski, H.-J.: Refinement and implementation. In: [1]. ch:7, pp. 201\u2013242. Springer, Heidelberg (1999)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume-title":"Proc. ICALP 1982","author":"J. Goguen","year":"1982","unstructured":"Goguen, J., Meseguer, J.A.: Universal realization, persistent interconnection and implementation of abstract modules. In: Proc. ICALP 1982. LNCS, vol.\u00a0140, pp. 265\u2013281. Springer, Heidelberg (1982)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"FM\u201999 - Formal Methods","author":"J. Goguen","year":"1999","unstructured":"Goguen, J., Ro\u015fu, G.: Hiding more of hidden algebra. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1704\u20131719. Springer, Heidelberg (1999)"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"18_CR14","unstructured":"Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. Wiley and Teubner (1996)"},{"key":"18_CR15","unstructured":"Malcolm, G., Goguen, J.: Proving correctness of refinement and implementation. Technical Report PRG-114, Oxford University Computing Laboratory (1994)"},{"key":"18_CR16","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":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/3-540-56379-2_36","volume-title":"Recent Trends in Data Type Specification","author":"F. Orejas","year":"1993","unstructured":"Orejas, F., Navarro, M., Sanchez, A.: Implementation and behavioural equivalence. In: Bidoit, M., Choppy, C. (eds.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol.\u00a0655, pp. 93\u2013125. Springer, Heidelberg (1993)"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"Sannella, D., Tarlecki, A.: On observational equivalence and algebraic specification. Journal of Computer and System Sciences\u00a034, 150\u2013178 (1987)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D.T. Sannella","year":"1988","unstructured":"Sannella, D.T., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementation revisited. Acta Informatica\u00a025, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"18_CR20","unstructured":"Schoett, O.: Data abstraction and correctness of modular programming. Technical Report CST-42-87, University of Edinburgh (1987)"},{"key":"18_CR21","first-page":"105","volume-title":"[1]","author":"A. Tarlecki","year":"1999","unstructured":"Tarlecki, A.: Institutions: An Abstract Framework for Formal Specification. In: [1],\u00a0ch. 4, pp. 105\u2013130. Springer, Heidelberg (1999)"},{"key":"18_CR22","first-page":"676","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic Specification. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science,\u00a0ch. 3, pp. 676\u2013788. Elsevier Science Publishers B.V, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Algebra, Meaning, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780274_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:16:01Z","timestamp":1619507761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780274_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354628","9783540354642"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11780274_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}