{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:47:01Z","timestamp":1648604821526},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"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":3954,"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":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80365-7","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"176-196","source":"Crossref","is-referenced-by-count":2,"title":["Towards coalgebraic behaviourism"],"prefix":"10.1016","volume":"65","author":[{"given":"Dragan","family":"Ma\u0161ulovi\u0107","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB1","series-title":"Category theory and computer science","first-page":"357","article-title":"A final coalgebra theorem","author":"Aczel","year":"1989"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB2","series-title":"Abstract and concrete categories","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(95)00011-K","article-title":"On the greatest fixed point of a set functor","volume":"150","author":"Ad\u00e1mek","year":"1995","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB4","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0022-4049(92)90169-G","article-title":"Algebraically compact functors","volume":"82","author":"Barr","year":"1992","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB5","first-page":"113","article-title":"Coalgebraic structure from weak limit preserving functors","volume":"Vol. 33","author":"Gumm Schr\u00f6der","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Pattinson D., Semantical principles in the modal logic of coalgebras, Technischer Bericht 0007, Institut f\u00fcr Informatik, LMU M\u00fcnchen, 2001","DOI":"10.1007\/3-540-44693-1_45"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB8","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1017\/S0960129599002790","article-title":"Final coalgebras as greatest fixed points in ZF set theory","volume":"9","author":"Paulson","year":"1999","journal-title":"Math. Struct. in Comput. Science"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Rothe J., A syntactical approach to weak (bi-)simulation for coalgebras, CMCS 2002","DOI":"10.1016\/S1571-0661(04)80368-2"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB10","unstructured":"Rutten J., A note on coinduction and weak bisimilarity for while programs, CWI Technical Report, SEN-R9826, Oct 31, 1998"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB12","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129598002588","article-title":"On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces","volume":"8","author":"Turi","year":"1998","journal-title":"Math. Struct. in Comput. Science"},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB13","unstructured":"Schr\u00f6der T., Coalgebren und Funktoren, Ph.D. thesis, Marburg, 2001."},{"key":"10.1016\/S1571-0661(04)80365-7_NEWBIB14","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)80267-1","article-title":"Terminal sequences for accessible endofunctors","volume":"Vol. 19","author":"Worrell","year":"1999","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803657?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803657?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:51:52Z","timestamp":1585896712000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104803657"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80365-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}