{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:53Z","timestamp":1725664133444},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600435"},{"type":"electronic","value":"9783540494102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60043-4_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:34:55Z","timestamp":1330277695000},"page":"152-168","source":"Crossref","is-referenced-by-count":7,"title":["Proving the correctness of behavioural implementations"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"key":"9_CR1","unstructured":"G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST '91, 216\u2013242, Springer-Verlag Workshops in Computing Series, 1992."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-58431-5_6","volume":"850","author":"M. Bidoit","year":"1994","unstructured":"M. Bidoit, R. Hennicker: Proving ehavioural theorems with standard first-order logic. In Proc. ALP '94, Fourth International Conference on Algebraic and Logic Programming, Springer Lecture Notes in Computer Science 850,41\u201358,1994.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"M. Bidoit, R. Hennicker. Behavioural theories and the proof of behavioural properties. Report LIENS-95-5, Ecole Normale Sup\u00e9rieure, 1995.","DOI":"10.1007\/BFb0014426"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"M. Bidoit, R. Hennicker: Proving the correctness of behavioural implementations. Technical Report, Universit\u00e4t M\u00fcnchen, 1995.","DOI":"10.1007\/3-540-60043-4_51"},{"key":"9_CR5","unstructured":"M. Bidoit, R. Hennicker, M. Wirsing: Behavioural and abstractor specifications. Report LIENS-94-10, Ecole Normale Sup\u00e9rieure, 1994. Revised version to appear in Science of Computer Programming."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1, EATCS Monographs on Theoretical Computer Science 6, Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"J. Guttag, J. Horning: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume":"140","author":"J. A. Goguen","year":"1982","unstructured":"J. A. Goguen, J. Meseguer: Universal realization, persistent interconnection and implementation of abstract modules. In Proc. ICALP '82, Springer Lecture Notes in Computer Science 140, 265\u2013281,1982.","journal-title":"Proc. ICALP '82, Springer Lecture Notes in Computer Science"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. Hoare","year":"1972","unstructured":"C. A. R. Hoare: Proofs of correctness of data representations. Acta Informatica 1, 271\u2013281,1972.","journal-title":"Acta Informatica"},{"key":"9_CR10","volume-title":"El\u00e9ments de Logique Mathematique","author":"G. Kreisel","year":"1967","unstructured":"G. Kreisel, J. L. Krivine: El\u00e9ments de Logique Mathematique. Dunod (Paris), 1967."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"P. Nivela, F. Orejas: Initial behaviour semantics for algebraic specifications. In: D. T. Sannella, A. Tarlecki (eds.): Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Springer Lecture Notes in Computer Science 332, 184\u2013207, 1988.","DOI":"10.1007\/3-540-50325-0_10"},{"key":"9_CR12","series-title":"International Series of Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial computability, algebraic specifications, and partial algebras","author":"H. Reichel","year":"1987","unstructured":"H. Reichel: Initial computability, algebraic specifications, and partial algebras. International Series of Monographs in Computer Science No. 2, Oxford: Clarendon Press, 1987."},{"key":"9_CR13","unstructured":"O. Schoett: Data abstraction and correctness of modular programming. Ph. D. thesis, CST-42-87, University of Edinburgh, 1987."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. T. Sannella","year":"1988","unstructured":"D. T. Sannella, A. Tarlecki: Toward formal development of programs from algebraic specifications: implementation revisited. Acta Informatica 25, 233\u2013281, 1988.","journal-title":"Acta Informatica"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, 675\u2013788, Elsevier Science Publishers B. V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60043-4_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:54:13Z","timestamp":1687287253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60043-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600435","9783540494102"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60043-4_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}