{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:16:15Z","timestamp":1676844975747},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3681,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1016\/s1571-0661(04)80633-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"76-93","source":"Crossref","is-referenced-by-count":5,"title":["Generalized Coiteration Schemata1 1Research supported by the MIUR Project COFIN 2001013518 Cometa."],"prefix":"10.1016","volume":"82","author":[{"given":"Daniela","family":"Cancila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Lenisa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB1","unstructured":"P. Aczel. Non-well-founded sets, CSLI Lecture Notes 14, Stanford 1988."},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB2","series-title":"MFPS'93","article-title":"Final Universes of Processes","author":"Aczel","year":"1993"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB3","article-title":"Solving stream equation systems","author":"Barbier","year":"2002","journal-title":"JFLA"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB4","series-title":"CMCS'01","article-title":"Generalised coinduction","author":"Bartels","year":"2001"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB5","series-title":"Vicious circles: On the mathematics of non-wellfounded phenomena","author":"Barwise","year":"1996"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(94)00099-5","article-title":"Strong categorical datatypes II: A term logic for categorical programming","volume":"139","author":"Cockett","year":"1995","journal-title":"TCS"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB7","unstructured":"T. Coquand. Infinite Objects in Type Theory, TYPES-93, LNCS 806."},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB8","unstructured":"A. Corradini, R. Heckel, U. Montanari. Compositional SOS and beyond: A coalgebraic view of open systems, to appear in TCS."},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB9","series-title":"Calculus in Coinductive Form","author":"Escardo","year":"1998"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB10","series-title":"TYPES","first-page":"39","article-title":"Codifying guarded definitions with recursive schemata","author":"Gim\u00e9nez","year":"1994"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB11","series-title":"PROCOMET'98","article-title":"Final Semantics for the \u03c0-calculus","author":"Honsell","year":"1998"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB12","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1996","journal-title":"Bulletin of the EATCS"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB13","series-title":"CAAP'96","first-page":"102","article-title":"Final Semantics for a Higher Order Concurrent Language","author":"Lenisa","year":"1996"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB14","series-title":"CMCS'99","article-title":"From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems","author":"Lenisa","year":"1999"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB15","series-title":"CMCS'00","article-title":"Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads","author":"Lenisa","year":"2000"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB16","series-title":"CMCS'98","article-title":"Guarded induction on final coalgebras","author":"Pavlovic","year":"1998"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB17","unstructured":"J.J.M.M. Rutten. Behavioural differential equations: a coinductive calculus of streams, automata, and power series, TR SEN-R0023, CWI."},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB18","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten, D. Turi. REX Conference Proceedings, J.de Bakker et al. eds., LNCS 803, 1994, 530\u2013582.","DOI":"10.1007\/3-540-58043-3_28"},{"issue":"8","key":"10.1016\/S1571-0661(04)80633-9_NEWBIB19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0960129598002527","article-title":"On the bisimulation proof method","volume":"98","author":"Sangiorgi","year":"1998","journal-title":"Math. Struct. In Comp. Science"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB20","series-title":"Towards a mathematical operational semantics","first-page":"280","author":"Turi","year":"1997"},{"issue":"1","key":"10.1016\/S1571-0661(04)80633-9_NEWBIB21","article-title":"Primitive (co)recursion and course-of-value (co)iteration, categorically","volume":"10","author":"Uustalu","year":"1999","journal-title":"Informatica (IMI, Lithuania)"},{"key":"10.1016\/S1571-0661(04)80633-9_NEWBIB22","first-page":"366","article-title":"Recursion Schemes from Comonads","volume":"8","author":"Uustalu","year":"2001","journal-title":"Nordic Journal of Computing"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806339?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806339?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:53:42Z","timestamp":1549173222000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806339"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80633-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}