乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T20:51:07Z","timestamp":1676839867329},"reference-count":17,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"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":4472,"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":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80903-4","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"67-87","source":"Crossref","is-referenced-by-count":4,"title":["Generalised Coinduction"],"prefix":"10.1016","volume":"44","author":[{"given":"F.","family":"Bartels","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Peter Aczel and Nax Mendler. A final coalgebra theorem. In D.H. Pitt, D.E. Rydeheard, P. Dybjer, A.M. Pitts, and A. Poign\u00e9, editors, Proceedings 3rd Conf. on Category Theory and Computer Science, CTCS'89, Manchester, UK, 5\u20138 Sept 1989, volume 389 of Lecture Notes in Computer Science, pages 357\u2013365. Springer-Verlag, Berlin, 1989.","DOI":"10.1007\/BFb0018361"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB2","unstructured":"F. Bartels. Generalised coinduction. Technical Report SEN-R0043, CWI - Centrum voor Wiskunde en Informatica, December 2000."},{"issue":"1","key":"10.1016\/S1571-0661(04)80903-4_NEWBIB3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","article-title":"Bisimulation can't be traced","volume":"42","author":"Bloom","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB4","unstructured":"E.W. Dijkstra. Hamming's exercise in sasl. Personal Note EWD792, see http:\/\/www.cs.utexas.edu\/users\/EWD\/, 1981."},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB5","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)80903-4_NEWBIB6","series-title":"Proc. Coalgebraic Methods in Computer Science (CMCS 1999), volume 19 of Electronic Notes in Theoretical Computer Science","year":"1999"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Lenisa. From set-theoretic coinduction to coalgebraic coinduction: Some results, some problems. Unpublished extension of [Len99b] (available through the author's homepage at http:\/\/www.dimi.uniud.it\/~lenisa\/), December 1999.","DOI":"10.1016\/S1571-0661(05)80265-8"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB8","doi-asserted-by":"crossref","unstructured":"M. Lenisa. From set-theoretic coinduction to coalgebraic coinduction: some results, some problems. In Jacobs and Rutten [JR99], pages 1\u201321.","DOI":"10.1016\/S1571-0661(05)80265-8"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB9","series-title":"Proc. Coalgebraic Methods in Computer Science (CMCS 2000), volume 33 of Electronic Notes in Theoretical Computer Science","first-page":"233","article-title":"Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads","author":"Lenisa","year":"2000"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB10","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB11","doi-asserted-by":"crossref","unstructured":"J. Power and H. Watanabe. Distributivity for a monad and a comonad. In Jacobs and Rutten [JR99], pages 119\u2013132.","DOI":"10.1016\/S1571-0661(05)80271-3"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB12","unstructured":"J.J.M.M. Rutten. Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Technical Report SEN-R0023, CWI - Centrum voor Wiskunde en Informatica, 2000."},{"issue":"1","key":"10.1016\/S1571-0661(04)80903-4_NEWBIB13","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":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB14","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0960129598002527","article-title":"On the bisimulation proof method","volume":"8","author":"Sangiorgi","year":"1998","journal-title":"Journal of Mathematical Structures in Computer Science"},{"issue":"4","key":"10.1016\/S1571-0661(04)80903-4_NEWBIB15","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/69558.69563","article-title":"On the Productivity of Recursive List Definitions","volume":"11","author":"Sijtsma","year":"1989","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80903-4_NEWBIB16","doi-asserted-by":"crossref","unstructured":"D. Turi and G.D. Plotkin. Towards a mathematical operational semantics. In Proc. 12th LICS Conf., pages 280\u2013291. IEEE, Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614955"},{"issue":"1","key":"10.1016\/S1571-0661(04)80903-4_NEWBIB17","first-page":"5","article-title":"Primitive (co)recursion and course-of-value (co)iteration, categorically","volume":"10","author":"Uustalu","year":"1999","journal-title":"INFORMATICA (IMI, Lithuania)"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809034?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809034?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:56:05Z","timestamp":1549191365000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809034"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80903-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}