{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:02Z","timestamp":1725486242342},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433668"},{"type":"electronic","value":"9783540459316"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_3","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T04:53:52Z","timestamp":1181364832000},"page":"21-36","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["On the Integration of Observability and Reachability Concepts"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\u00fcckner, P.D. Mosses, D. Sannella, and A. Tarlecki. Casl: The Common Algebraic Specification Language. Theoretical Computer Science, 2002. To appear.","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, H.-J. Kreowski, and B. Krieg-Br\u00fcckner, editors. Algebraic Foundations of Systems Specification. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"3_CR3","unstructured":"M. Bidoit and R. Hennicker. Observer complete definitions are behaviourally coherent. In Proc. OBJ\/CafeOBJ\/Maude Workshop at FM\u201999, pages 83\u201394. THETA, 1999. http:\/\/www.lsv.ens-cachan.fr\/Publis\/PAPERS\/CafeOBJ.ps ."},{"key":"3_CR4","unstructured":"M. Bidoit and R. Hennicker. On the integration ofobserv ability and reachability concepts. Research Report LSV-02-2, 2002. Long version ofthis paper. http:\/\/www.lsv.ens-cachan.fr\/Publis\/RAPPORTS_LSV\/rr-lsv-2002-2.rr.ps ."},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-45315-6_5","volume-title":"Proc. FOSSACS\u201901","author":"M. Bidoit","year":"2001","unstructured":"M. Bidoit, R. Hennicker, and A. Kurz. On the duality between observability and reachability. In Proc. FOSSACS\u201901, LNCS 2030, pages 72\u201387. Springer, 2001. Long version: http:\/\/www.lsv.ens-cachan.fr\/Publis\/RAPPORTS_LSV\/rr-lsv-2001-7.rr.ps ."},{"key":"3_CR6","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, and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25:149\u2013186, 1995.","journal-title":"Science of Computer Programming"},{"key":"3_CR7","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 ofa logical system for structured specifications. In Recent Trends in Algebraic Development Techniques, LNCS 1376, pages 107\u2013121. Springer, 1998."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"R. Diaconescu and K. Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing 6. World Scientific, 1998.","DOI":"10.1142\/3831"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39 (1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"Proc. FM\u201999","author":"J. Goguen","year":"1999","unstructured":"J. Goguen and G. Ro\u015fu. Hiding more ofhidden algebra. In Proc. FM\u201999, LNCS 1709, pages 1704\u20131719. Springer, 1999."},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","first-page":"263","volume-title":"Proc. AMAST\u201998","author":"R. Hennicker","year":"1999","unstructured":"R. Hennicker and M. Bidoit. Observational logic. In Proc. AMAST\u201998, LNCS 1548, pages 263\u2013277. Springer, 1999."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00068-0","volume":"167","author":"M. Hofmann","year":"1996","unstructured":"M. Hofmann and D. Sannella. On behavioural abstraction and behavioural satisfaction in higher-order logic. Theoretical Computer Science, 167:3\u201345, 1996.","journal-title":"Theoretical Computer Science"},{"key":"3_CR13","unstructured":"H. J. Keisler. Model Theory for Infinitary Logic. North-Holland, 1971."},{"key":"3_CR14","unstructured":"J. Loeckx, H.-D. Ehrich, and M. Wolf. Specification of Abstract Data Types. Wiley and Teubner, 1996."},{"key":"3_CR15","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":"M.P. Nivela","year":"1988","unstructured":"M.P. Nivela and F. Orejas. Initial behaviour semantics for algebraic specifications. In Recent Trends in Data Type Specification, LNCS 332, pages 184\u2013207. Springer, 1988."},{"key":"3_CR16","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 Recent Trends in Data Type Specification, LNCS 1130, pages 409\u2013435. Springer, 1996."},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial computability, algebraic specifications, and partial algebras","author":"H. Reichel","year":"1987","unstructured":"Horst Reichel. Initial computability, algebraic specifications, and partial algebras. Oxford, Clarendon Press, 1987."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D.T. Sannella","year":"1987","unstructured":"D.T. Sannella and A. Tarlecki. On observational equivalence and algebraic specification. Journal of Computer and System Sciences, 34:150\u2013178, 1987.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR19","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 and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"3_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-50939-9_124","volume-title":"Proc. TAPSOFT\u201989","author":"M. Wirsing","year":"1989","unstructured":"M. Wirsing and M. Broy. A modular framework for specification and information. In Proc. TAPSOFT\u201989, LNCS 351, pages 42\u201373. Springer, 1989."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T09:43:13Z","timestamp":1683884593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"15 March 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}