{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:06Z","timestamp":1725663786615},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:57:03Z","timestamp":1330250223000},"page":"39-55","source":"Crossref","is-referenced-by-count":5,"title":["Towards an adequate notion of observation"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Bernot","sequence":"first","affiliation":[]},{"given":"Michel","family":"Bidoit","sequence":"additional","affiliation":[]},{"given":"Teodor","family":"Knapik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"3_CR1","unstructured":"Bernot G., Bidoit M. Proving the correctness of algebraically specified software: Modularity and Observability issues Proceedings of International Conference AMAST, Iowa City, 1991, 139\u2013161"},{"key":"3_CR2","unstructured":"Bernot G., Bidoit M., Knapik T. Observational Approaches in Algebraic Specifications: a Comparative Study Report LIENS-91-6, 1991"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1137\/0212024","volume":"12","author":"J. A. Bergstra","year":"1983","unstructured":"Bergstra J.A., Tucker J.V. Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. SIAM Journal of Computing, vol 12 (1983), 366\u2013387","journal-title":"SIAM Journal of Computing"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"van Dieppen N.W.P. Implementation of Modular Algebraic Specifications (Ganzinger H. ed.) ESOP 88, Nancy, March 1988, LNCS 300, 64\u201378","DOI":"10.1007\/3-540-19027-9_5"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig H., Mahr B. Fundamentals of Algebraic Specifications ETACS Monographs on Theoretical Computer Science, Vol 6, Springer-Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Goguen J.A., Burstall R. Introducing Institutions (Clarke E., Kozen D. eds.) Proceedings of Logic of Programming Workshop, Carnegie Mellon, 1984, LNCS 164, 221\u2013256","DOI":"10.1007\/3-540-12896-4_366"},{"key":"3_CR7","unstructured":"Goguen J.A., Burstall R. Institutions: abstract model theory for specification and programming LFCS report ECS-LFCS-90-106 (1990)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Goguen J.A., Meseguer J. Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (Nielsen M., Schmidt E.M. eds.) ICALP, Aarhus, 1982, LNCS 140, 265\u2013281","DOI":"10.1007\/BFb0012775"},{"key":"3_CR9","unstructured":"Goguen J.A., Thatcher J.W., Wagner E.G. An Initial Approach to the Specification, Correctness and Implementation of Abstract Data Types, (Yeh R.T. ed.) Current Trends in Programming Methodology, Vol. 4: Data Structuring, Prentice Hall, 80\u2013149 (1978)"},{"key":"3_CR10","unstructured":"Hennicker R. Context Induction: a Proof Principle for Behavioural Abstractions and Algebraic Implementations Fakult\u00e4t f\u00fcr Mathematik und Informatik Universit\u00e4t Passau, 1990 (Internal Report MIP-9001)"},{"issue":"1","key":"3_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"Kamin S. Final Data Types and Their Specification ACM Transactions on Programming Languages and Systems, Vol 5, No 1, 97\u2013123 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR12","volume-title":"Ph. D. thesis in preparation","author":"T. Knapik","year":"1992","unstructured":"Knapik T. S\u00e9mantique Observationnelle des Sp\u00e9cifications Alg\u00e9briques: application \u00e0 la modularit\u00e9 et \u00e0 l'impl\u00e9mentation Ph. D. thesis in preparation, Universit\u00e9 de Paris-Sud, Orsay 1992"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Nivela P., Orejas F. Initial Behaviour Semantics for Algebraic Specification (Sannella, Tarlecki eds.) Recent Trends in Data Type Specification, 5 th Workshop on Specification of ADT, Gullane, September 1987, LNCS 332, 184\u2013207","DOI":"10.1007\/3-540-50325-0_10"},{"key":"3_CR14","unstructured":"Pepper P. On the Correctness of Type Transformations Talk at 2 nd Workshop on Theory and Applications of Abstract Data Types, Passau, May 1983"},{"key":"3_CR15","unstructured":"Reichel H. Behavioural Validity of Conditional Equations in Abstract Data Types Contributions to General Algebra 3, Proceedings of the Vienna Conference, June 1984"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Sannella D., Tarlecki A. On Observational Equivalence and Algebraic Specification, TapSoft, Berlin 1985, LNCS 185, 308\u201322","DOI":"10.1007\/3-540-15198-2_20"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella D., Tarlecki A. Toward Formal Development of Programs from Algebraic Specification Revisited, Acta Informatica 25, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"Wand M. Final Algebra Semantics and Data Type Extension Journal of Computer and System Sciences, Vol 19, 27\u201344 (1979)","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:20Z","timestamp":1619573360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}