{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T11:33:28Z","timestamp":1783251208812,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540286202","type":"print"},{"value":"9783540318767","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_14","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T20:07:40Z","timestamp":1279742860000},"page":"213-231","source":"Crossref","is-referenced-by-count":8,"title":["Context-Free Languages via Coalgebraic Trace Semantics"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00728-4","volume":"300","author":"P. Aczel","year":"2003","unstructured":"Aczel, P., Ad\u00e1amek, J., Milius, S., Velebil, J.: Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comp. Sci.\u00a0300, 1\u201345 (2003)","journal-title":"Theor. Comp. Sci."},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0304-3975(95)00011-K","volume":"150","author":"J. Ad\u00e1mek","year":"1995","unstructured":"Ad\u00e1mek, J., Koubek, V.: On the greatest fixed point of a set functor. Theor. Comp. Sci.\u00a0150(1), 57\u201375 (1995)","journal-title":"Theor. Comp. Sci."},{"key":"14_CR3","series-title":"Addison-Wesley series in Computer Science","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley series in Computer Science. Addison-Wesley, Reading (1986)"},{"key":"14_CR4","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. Theor. Comp. Sci.\u00a0114, 299\u2013315 (1993)","journal-title":"Theor. Comp. Sci."},{"key":"14_CR5","unstructured":"Bartels, F.: On Generalized Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling. PhD thesis, Free Univ. Amsterdam (2004)"},{"key":"14_CR6","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1983), Available free for downloading at http:\/\/www.cwru.edu\/artsci\/math\/wells\/pub\/ttt.html"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N. Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Transactions on Information Theory\u00a02, 113\u2013124 (1956)","journal-title":"IRE Transactions on Information Theory"},{"issue":"1","key":"14_CR8","first-page":"47","volume":"32","author":"A. Carboni","year":"1991","unstructured":"Carboni, A., Kelly, G., Wood, R.: A 2-categorical approach to change of base and geometric morphisms I. Cah. de Top. et G\u00e9om. Diff.\u00a032(1), 47\u201395 (1991)","journal-title":"Cah. de Top. et G\u00e9om. Diff."},{"key":"14_CR9","series-title":"Elect. Notes in Theor. Comp. Sci","doi-asserted-by":"crossref","DOI":"10.1007\/b101561","volume-title":"Coalgebraic Methods in Computer Science (CMCS 2004)","author":"B. Jacobs","year":"2004","unstructured":"Jacobs, B.: Relating two approaches to coinductive solution of recurisve equations. In: Coalgebraic Methods in Computer Science (CMCS 2004). Elect. Notes in Theor. Comp. Sci, vol.\u00a0106. Elsevier, Amsterdam (2004)"},{"key":"14_CR10","series-title":"Elect. Notes in Theor. Comp. Sci","doi-asserted-by":"crossref","DOI":"10.1007\/b101561","volume-title":"Coalgebraic Methods in Computer Science (CMCS 2004)","author":"B. Jacobs","year":"2004","unstructured":"Jacobs, B.: Trace semantics for coalgebras. In: Coalgebraic Methods in Computer Science (CMCS 2004). Elect. Notes in Theor. Comp. Sci, vol.\u00a0106. Elsevier, Amsterdam (2004)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: A bialgebraic review of regular expressions, deterministic automata and languages. Techn. Rep. NIII-R05003, Inst. for Computing and Information Sciences, Radboud Univ. Nijmegen (2005)","DOI":"10.1007\/11780274_20"},{"key":"14_CR12","unstructured":"Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations. Draft of a book (2005), http:\/\/www.cs.ru.nl\/B.Jacobs\/PAPERS\/index.html"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C. Jay","year":"1995","unstructured":"Jay, C.: A semantics for shape. Science of Comput. Progr.\u00a025, 251\u2013283 (1995)","journal-title":"Science of Comput. Progr."},{"key":"14_CR14","volume-title":"Elements of the Theory of Computation","author":"H.R. Lewis","year":"1981","unstructured":"Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"14_CR15","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. Theor. Comp. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00895-2","volume":"308","author":"J. Rutten","year":"2003","unstructured":"Rutten, J.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theor. Comp. Sci.\u00a0308, 1\u201353 (2003)","journal-title":"Theor. Comp. Sci."},{"key":"14_CR17","unstructured":"A. (Sokolova) Woracek. Personal communication"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548133_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:59:49Z","timestamp":1635728389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11548133_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}