{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:08Z","timestamp":1725486248529},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433668"},{"type":"electronic","value":"9783540459316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_7","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:53:52Z","timestamp":1181350432000},"page":"82-97","source":"Crossref","is-referenced-by-count":4,"title":["On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability"],"prefix":"10.1007","author":[{"given":"Corina","family":"C\u00eerstea","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"7_CR1","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G.E. Strecker. Abstract and Concrete Categories. John Wiley and Sons, 1990."},{"key":"7_CR2","unstructured":"B. Banaschewski and H. Herrlich. Subcategories defined by implications. Houston Journal of Mathematics, 2(2), 1976."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"G. Birkhoff. On the structure of abstract algebras. In Proceedings of the Cambridge Philosophical Society, volume 31, 1935.","DOI":"10.1017\/S0305004100013463"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"F. Borceux. Handbook of Categorical Algebra, volume 2. CUP, 1994.","DOI":"10.1017\/CBO9780511525865"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C. C\u00eerstea. Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35(1), 2001.","DOI":"10.1051\/ita:2001107"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1), 1992.","DOI":"10.1145\/147508.147524"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"B. Jacobs. Many-sorted coalgebraic modal logic: A model-theoretic study. Theoretical Informatics and Applications, 35(1), 2001.","DOI":"10.1051\/ita:2001108"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"P. Johnstone, J. Power, T. Tsujishita, H. Watanabe, and J. Worrell. On the structure of categories of coalgebras. TCS, 260(1), 2001.","DOI":"10.1016\/S0304-3975(00)00124-9"},{"key":"7_CR9","unstructured":"A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"A. Kurz. Specifying coalgebras with modal logic. TCS, 260(1), 2001.","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"7_CR11","unstructured":"A. Kurz and R. Hennicker. On institutions for modular coalgebraic specifications. To appear in Theoretical Computer Science."},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings, WADT","author":"G. Malcolm","year":"1996","unstructured":"G. Malcolm. Behavioural equivalence, bisimulation, and minimal realisation. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Proceedings, WADT, volume 1130 of LNCS. Springer, 1996."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"L.S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96, 1999.","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"H. Reichel. An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science, 5, 1995.","DOI":"10.1017\/S0960129500000694"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"M. R\u00f6\u03b2iger. Coalgebras and modal logic. In H. Reichel, editor, Coalgebraic Methods in Computer Science, volume 33 of ENTCS. Elsevier Science, 2000.","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. TCS, 249(1), 2000.","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"D. Turi and G. Plotkin. Towards a mathematical operational semantics. In Proceedings, LICS, 1997.","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:19:42Z","timestamp":1556479182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}