{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:16:22Z","timestamp":1770977782647,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540654629","type":"print"},{"value":"9783540492535","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_20","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"263-277","source":"Crossref","is-referenced-by-count":33,"title":["Observational Logic"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Michel","family":"Bidoit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"20_CR1","unstructured":"G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST\u2019 91, 216\u2013242, Springer-Verlag Works. in Comp. Series, 1992."},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-60043-4_51","volume-title":"Proc. AMAST\u2019 95","author":"M. Bidoit","year":"1995","unstructured":"M. Bidoit, R. Hennicker: Proving the correctness of behavioural implementations. In Proc. AMAST\u2019 95, LNCS 936, 152\u2013168, 1995. An extended version entitled \u201cModular correctness proofs of behavioural implementations\u201d will appear in Acta Informatica."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","volume":"175","author":"M. Bidoit","year":"1996","unstructured":"M. Bidoit, R. Hennicker: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 175, 3\u201355, 1996.","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"M. Bidoit, R. Hennicker, M. Wirsing: Behavioural and abstractor specifications. Science of Computer Programming 25, 149\u2013186, 1995.","journal-title":"Science of Computer Programming"},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-61064-2_41","volume-title":"Proc. CAAP\u2019 96, Trees in Algebra and Progr.","author":"M. Bidoit","year":"1996","unstructured":"M. Bidoit, A. Tarlecki: Behavioural satisfaction and equivalence in concrete model categories. Proc. CAAP\u2019 96, Trees in Algebra and Progr., LNCS 1059, 241\u2013256, 1996."},{"key":"20_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-64299-4_29","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Borzyszkowski","year":"1998","unstructured":"T. Borzyszkowski: Completeness of a logical system for structured specifications. In:F. Parisi Presicce (ed.): Recent Trends in Algebraic Development Techniques, LNCS 1376, 107\u2013121, 1998."},{"key":"20_CR7","unstructured":"R. Burstall, R. Diaconescu: Hiding and behaviour: an institutional approach. In: A. W. Roscoe (ed.): A Classical Mind: Essays in Honour of C.A.R. Hoare, 75\u201392, Prentice-Hall, 1994."},{"key":"20_CR8","unstructured":"R. Diaconescu: Behavioural coherence in object-oriented algebraic specification. Japan Advanced Institute for Science and Technology, IS-RR-98-0017F, 1998."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"R. Diaconescu, K. Futatsugi: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing, Vol. 6, World Scientific, 1998.","DOI":"10.1142\/3831"},{"issue":"1","key":"20_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen, R. Burstall: Institutions: abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39(1), 95\u2013146, 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"20_CR11","unstructured":"J. Goguen, G. Malcolm: A hidden agenda. Report CS97-538, Univ. of Calif. at San Diego, 1997."},{"key":"20_CR12","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":"20_CR13","unstructured":"R. Hennicker: Structured specifications with behavioural operators: semantics, proof methods and applications. Habilitation thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1997."},{"key":"20_CR14","unstructured":"R. Hennicker, M. Bidoit: Observational logic (long version). http:\/\/www.lsv.enscachan.fr\/Publis\/RAPPORTS_LSV\/ , 1998."},{"key":"20_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-57867-6_13","volume-title":"Recent Trends in Data Type Specification","author":"R. Hennicker","year":"1994","unstructured":"R. Hennicker, F. Nickl: A behavioural algebraic framework for modular system design with reuse. In: H. Ehrig, F. Orejas (eds.): Recent Trends in Data Type Specification, LNCS 785, 220\u2013234, 1994."},{"key":"20_CR16","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"B. Jacobs, J. Rutten: A Tutorial on (Co)Algebras and (Co)Induction. EATCS Bulletin 62, 222\u2013259, 1997.","journal-title":"EATCS Bulletin"},{"key":"20_CR17","unstructured":"H. J. Keisler: Model theory for infinitary logic. North-Holland, 1971."},{"key":"20_CR18","unstructured":"J. Loeckx, H.-D. Ehrich, M. Wolf: Specification of Abstract Data Types. Wiley and Teubner, 1996."},{"key":"20_CR19","unstructured":"G. Malcolm, J. A. Goguen: Proving correctness of refinement and implementation. Technical Monograph PRG-114, Oxford University Computing Laboratory, 1994."},{"key":"20_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume-title":"Recent Trends in Data Type Specification","author":"P. Nivela","year":"1988","unstructured":"P. Nivela, F. Orejas: Initial behaviour semantics for algebraic specifications. In: D. T. Sannella, A. Tarlecki (eds.): Recent Trends in Data Type Specification, Springer Lecture Notes in Computer Science 332, 184\u2013207, 1988."},{"key":"20_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-61629-2_56","volume-title":"Recent Trends in Data Type Specification","author":"P. Padawitz","year":"1996","unstructured":"P. Padawitz: Swinging data types: syntax, semantics, and theory. In: M. Haveraaen, O. Owe, O.-J. Dahl (eds.): Recent Trends in Data Type Specification, LNCS 1130, 409\u2013435, 1996."},{"key":"20_CR22","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":"20_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"H. Reichel: An approach to object semantics based on terminal co-algebras. Math. Struct. Comp. Sci., 5, 129\u2013152, 1995.","journal-title":"Math. Struct. Comp. Sci"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. T. Sannella","year":"1988","unstructured":"D. T. Sannella, A. Tarlecki: Specifications in an arbitrary institution. Information and Computation 76, 165\u2013210, 1988.","journal-title":"Information and Computation"}],"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-49253-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:21:39Z","timestamp":1683861699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}