{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:53:33Z","timestamp":1743152013881,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_22","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"376-392","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic-Coalgebraic Specification in CoCasl"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Reichel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Abstract and concrete categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories. Wiley Interscience, Hoboken (1990)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0019-9958(82)80026-0","volume":"52","author":"M. Arbib","year":"1982","unstructured":"Arbib, M., Manes, E.: Parametrized data types do not need highly constrained parameters. Inform. Control\u00a052, 139\u2013158 (1982)","journal-title":"Inform. Control"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci.\u00a0114, 299\u2013315 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45931-6_3","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Bidoit","year":"2002","unstructured":"Bidoit, M., Hennicker, R.: On the integration of observability and reachability concepts. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 21\u201336. Springer, Heidelberg (2002)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/S0304-3975(02)00865-4","volume":"298","author":"M. Bidoit","year":"2003","unstructured":"Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoret. Comput. Sci.\u00a0298, 471\u2013510 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"Burmeister, P.: Partial algebras \u2013 survey of a unifying approach towards a twovalued model theory for partial algebras. Algebra Universalis\u00a015, 306\u2013358 (1982)","journal-title":"Algebra Universalis"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45931-6_7","volume-title":"Foundations of Software Science and Computation Structures","author":"C. C\u00eerstea","year":"2002","unstructured":"C\u00eerstea, C.: On specification logics for algebra-coalgebra structures: Reconciling reachability and observability. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 82\u201397. Springer, Heidelberg (2002)"},{"key":"22_CR8","unstructured":"Cockett, R., Fukushima, T.: About Charity, Yellow Series Report 92\/480\/18, Univ. of Calgary, Dept. of Comp. Sci. (1992)"},{"key":"22_CR9","unstructured":"Jones, S.P., et al.: Haskell 98: A non-strict, purely functional language (1999), http:\/\/www.haskell.org\/onlinereport"},{"key":"22_CR10","first-page":"123","volume-title":"Automated Software Engineering","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Lin, K., Rosu, G.: Conditional circular coinductive rewriting. In: Automated Software Engineering, pp. 123\u2013131. IEEE Press, Los Alamitos (2000)"},{"key":"22_CR11","first-page":"17","volume-title":"Algebraic Engineering","author":"J.A. Goguen","year":"1999","unstructured":"Goguen, J.A.: Hidden algebraic engineering. In: Nehaniv, C., Ito, M. (eds.) Algebraic Engineering, pp. 17\u201336. World Scientific, Singapore (1999)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1017\/S0960129501003590","volume":"12","author":"H.P. Gumm","year":"2002","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Coalgebras of bounded type. Math. Struct. Comput. Sci.\u00a012, 565\u2013578 (2002)","journal-title":"Math. Struct. Comput. Sci."},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu -calculus. Theoret. Comput. Sci.\u00a027, 333\u2013354 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"22_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. Theoret. Comput. Sci.\u00a0260, 119\u2013138 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-45931-6_17","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Kurz","year":"2002","unstructured":"Kurz, A.: Logics admitting final semantics. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 238\u2013249. Springer, Heidelberg (2002)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46419-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2000","unstructured":"Mossakowski, T.: Casl: From semantics to tools. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 93\u2013108. Springer, Heidelberg (2000)"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0304-3975(01)00369-3","volume":"286","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Relating Casl with other specification languages: the institution level. Theoret. Comput. Sci.\u00a0286, 367\u2013475 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Roggenbach, M., Schr\u00f6der, L.: CoCasl at work \u2013 modelling process algebra. In: CMCS 2003. ENTCS, vol.\u00a082(1) (2003)","DOI":"10.1016\/S1571-0661(04)80640-6"},{"key":"22_CR19","unstructured":"Mossakowski, T., Schr\u00f6der, L., Roggenbach, M., Reichel, H.: Algebraic-coalgebraic specification in CoCasl, Tech. report, University of Bremen, available at http:\/\/www.informatik.uni-bremen.de\/~lschrode\/papers\/cocasl.ev.ps"},{"key":"22_CR20","unstructured":"Mosses, P.D. (ed.): Casl \u2013 the common algebraic specification language. Reference manual. Springer, Heidelberg (to appear)"},{"key":"22_CR21","unstructured":"Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction, Tech. report, LMU M\u00fcnchen (2002)"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal co-algebras. Math. Struct. Comput. Sci.\u00a05, 129\u2013152 (1995)","journal-title":"Math. Struct. Comput. Sci."},{"key":"22_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-44616-3_20","volume-title":"Recent Trends in Algebraic Development Techniques","author":"H. Reichel","year":"2000","unstructured":"Reichel, H.: A uniform model theory for the specification of data and process types. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 348\u2013365. Springer, Heidelberg (2000)"},{"key":"22_CR24","unstructured":"Ro\u015fu, G.: Hidden logic, Ph.D. thesis, Univ. of California at San Diego (2000)"},{"key":"22_CR25","first-page":"175","volume":"7","author":"J. Rothe","year":"2001","unstructured":"Rothe, J., Tews, H., Jacobs, B.: The Coalgebraic Class Specification Language CCSL. J. Universal Comput. Sci.\u00a07, 175\u2013193 (2001)","journal-title":"J. Universal Comput. Sci."},{"key":"22_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theoret. Comput. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR27","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1985","unstructured":"Tarlecki, A.: On the existence of free models in abstract algebraic institutions. Theoret. Comput. Sci.\u00a037, 269\u2013304 (1985)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR28","unstructured":"Tews, H.: Coalgebraic methods for object\u2013oriented languages, Ph.D. thesis, Dresden Univ. of Technology (2002)"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45319-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Berg van den","year":"2001","unstructured":"van den Berg, J., Jacobs, B.: The LOOP compiler for Java and JML. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 299\u2013312. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:40Z","timestamp":1559199280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}