{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:07Z","timestamp":1725515347330},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_37","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"593-617","source":"Crossref","is-referenced-by-count":0,"title":["Observability Concepts in Abstract Data Type Specification, 30 Years Later"],"prefix":"10.1007","author":[{"given":"Donald","family":"Sannella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"37_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"volume-title":"Algebraic Foundations of Systems Specification","year":"1999","key":"37_CR2","unstructured":"Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)"},{"issue":"1\u20132","key":"37_CR3","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\u20132), 3\u201351 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic System Specification and Development: A Survey and Annotated Bibliography","year":"1991","unstructured":"Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development: A Survey and Annotated Bibliography. LNCS, vol.\u00a0501. Springer, Heidelberg (1991)"},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/s001650200012","volume":"13","author":"M. Bidoit","year":"2002","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in \n                    \n                      \n                    \n                    ${\\sc Casl}$\n                  . Formal Aspects of Computing\u00a013, 252\u2013273 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1017\/S0960129507006536","volume":"18","author":"M. Bidoit","year":"2008","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Observational interpretation of \n                    \n                      \n                    \n                    ${\\sc Casl}$\n                   specifications. Mathematical Structures in Computer Science\u00a018, 325\u2013371 (2008)","journal-title":"Mathematical Structures in Computer Science"},{"key":"37_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Heidelberg (1985)"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","first-page":"567","volume-title":"Mathematical Foundations of Computer Science 1976","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specifications. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol.\u00a045, pp. 567\u2013578. Springer, Heidelberg (1976)"},{"issue":"1","key":"37_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Malcolm, G.: A hidden agenda. Theoretical Computer Science\u00a0245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: Parameterized programming and software architecture. In: Proc. 4th Intl. IEEE Conf. on Software Reuse, pp. 2\u201311 (1996)","DOI":"10.1109\/ICSR.1996.496108"},{"key":"37_CR11","series-title":"Data Structuring","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current Trends in Programming Methodology. Data Structuring, vol.\u00a04, pp. 80\u2013149. Prentice-Hall, Englewood Cliffs (1978)"},{"issue":"2","key":"37_CR12","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation\u00a0127(2), 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"37_CR13","volume-title":"Software Development: A Rigorous Approach","author":"C.B. Jones","year":"1980","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach. Prentice-Hall, Englewood Cliffs (1980)"},{"issue":"1-2","key":"37_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0304-3975(00)00125-0","volume":"260","author":"A. Kurz","year":"2001","unstructured":"Kurz, A.: Specifying coalgebras with modal logic. Theoretical Computer Science\u00a0260(1-2), 119\u2013138 (2001)","journal-title":"Theoretical Computer Science"},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-64299-4_40","volume-title":"Recent Trends in Algebraic Development Techniques","author":"S. Lasota","year":"1998","unstructured":"Lasota, S.: Open maps as a bridge between algebraic observational equivalence and bisimilarity. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 285\u2013299. Springer, Heidelberg (1998)"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0055043","volume-title":"Automata, Languages and Programming","author":"S. Lasota","year":"1998","unstructured":"Lasota, S.: Partial-congruence factorization of bisimilarity induced by open maps. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 91\u2013102. Springer, Heidelberg (1998)"},{"key":"37_CR17","unstructured":"Reichel, H.: Behavioural equivalence \u2013 a unifying concept for initial and final specification methods. In: Proc. 3rd Hungarian Comp. Sci. Conference, pp. 27\u201339 (1981)"},{"issue":"1","key":"37_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"37_CR19","unstructured":"Schoett, O.: Data Abstraction and the Correctness of Modular Programming. PhD thesis, Dept.of Computer Science, Univ.of Edinburgh (1987)"},{"issue":"8","key":"37_CR20","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"Sannella, D., Soko\u0142owski, S., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica\u00a029(8), 689\u2013736 (1992)","journal-title":"Acta Informatica"},{"key":"37_CR21","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":"37_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076, 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"37_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF02737104","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica\u00a025, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"37_CR24","doi-asserted-by":"publisher","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 extensions. Journal of Computer and System Sciences\u00a019, 27\u201344 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"37_CR25","first-page":"675","volume-title":"Handbook of Theoretical Computer Science: Formal Models and Semantics","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic specifications. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Formal Models and Semantics, vol.\u00a0B, pp. 675\u2013788. Elsevier, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:10:07Z","timestamp":1551514207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}