乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:15:00Z","timestamp":1648869300075},"reference-count":19,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1016\/j.ic.2009.10.009","type":"journal-article","created":{"date-parts":[[2010,5,18]],"date-time":"2010-05-18T05:20:50Z","timestamp":1274160050000},"page":"1398-1420","source":"Crossref","is-referenced-by-count":2,"title":["Complete sets of cooperations"],"prefix":"10.1016","volume":"208","author":[{"given":"Clemens","family":"Kupke","sequence":"first","affiliation":[]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ic.2009.10.009_bib1","series-title":"Sequences and Their Applications: Proceedings of SETA\u201998","first-page":"1","article-title":"The ubiquitous Prouhet\u2013Thue\u2013Morse sequence","author":"Allouche","year":"1999"},{"key":"10.1016\/j.ic.2009.10.009_bib2","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","article-title":"Terminal coalgebras in well-founded set-theory","volume":"114","author":"Barr","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.ic.2009.10.009_bib3","unstructured":"M. Bidoit, R. Hennicker, Observer complete definitions are behaviourally coherent, in: OBJ\/CafeOBJ\/Maude at Formal Methods \u201999, THETA, 1999, pp. 83\u201394."},{"key":"10.1016\/j.ic.2009.10.009_bib4","doi-asserted-by":"crossref","unstructured":"C. C\u0131\u02c6rstea, Coalgebra semantics for hidden algebra: parameterised objects and inheritance. in: F. Parisi-Presicce (Ed.), Recent Trends in Algebraic Developments, Lecture Notes in Computer Science, vol. 1376, 1998.","DOI":"10.1007\/3-540-64299-4_33"},{"issue":"1\u20132","key":"10.1016\/j.ic.2009.10.009_bib5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0304-3975(01)00020-2","article-title":"A coalgebraic equational approach to specifying observational structures","volume":"280","author":"C\u0131\u02c6rstea","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.ic.2009.10.009_bib6","series-title":"Selected Writings on Computing: A Personal Perspective","author":"Dijkstra","year":"1982"},{"key":"10.1016\/j.ic.2009.10.009_bib7","unstructured":"J. Endrullis, C. Grabmayer, D. Hendriks, A. Isihara, J.W. Klop, Productivity of Stream Definitions, in: Proceedings of FCT 2007, LNCS, vol. 4639, Springer, 2007, pp. 274\u2013287."},{"key":"10.1016\/j.ic.2009.10.009_bib8","unstructured":"J.A. Goguen, K. Lin, G. Rosu, Conditional circular coinductive rewriting with case analysis, in: M. Wirsing, D. Pattinson, R. Hennicker (Eds.), WADT, LNCS, vol. 2755, Springer, 2002, pp. 216\u2013232."},{"key":"10.1016\/j.ic.2009.10.009_bib9","unstructured":"H.P. Gumm, Elements of the general theory of coalgebras, in: LUATCS Lecture Notes, Rand Africans University, Johannesburg, South Africa, 1999."},{"key":"10.1016\/j.ic.2009.10.009_bib10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10485-007-9116-1","article-title":"On Minimal Coalgebras","volume":"16","author":"Gumm","year":"2008","journal-title":"Applied Categorical Structures"},{"issue":"4","key":"10.1016\/j.ic.2009.10.009_bib11","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/BF01642507","article-title":"Context induction: a proof principle for behavioural abstractions and algebraic implementations","volume":"3","author":"Hennicker","year":"1991","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.ic.2009.10.009_bib12","doi-asserted-by":"crossref","unstructured":"C. Kupke, J.M. Rutten, Observational coalgebras and complete sets of co-operations, in: Proceedings of CMCS\u201908, ENTCS, vol. 203, 2008, pp. 153\u2013174.","DOI":"10.1016\/j.entcs.2008.05.024"},{"key":"10.1016\/j.ic.2009.10.009_bib13","unstructured":"D. Pavlovi\u0107, M. Escard\u00f3, Calculus in coinductive form, in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1998, pp. 408\u2013417."},{"key":"10.1016\/j.ic.2009.10.009_bib14","unstructured":"Grigore Ro\u015fu, Joseph Goguen, Circular Coinduction, Short paper at the International Joint Conference on Automated Reasoning (IJCAR\u201901), 2001."},{"key":"10.1016\/j.ic.2009.10.009_bib15","unstructured":"G. Rosu, Hidden Logic, Ph.D. Thesis, University of California at San Diego, 2000."},{"key":"10.1016\/j.ic.2009.10.009_bib16","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\/j.ic.2009.10.009_bib17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0960129504004517","article-title":"A coinductive calculus of streams","volume":"15","author":"Rutten","year":"2005","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/j.ic.2009.10.009_bib18","doi-asserted-by":"crossref","unstructured":"A. Silva, J.J.M.M. Rutten, Behavioural differential equations and coinduction for binary trees, in: Proceedings of WoLLIC, 2007, pp. 322\u2013336.","DOI":"10.1007\/978-3-540-73445-1_23"},{"key":"10.1016\/j.ic.2009.10.009_bib19","series-title":"Term Rewriting Systems","author":"Terese","year":"2003"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540110000969?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540110000969?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:45:17Z","timestamp":1559115917000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0890540110000969"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":19,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["S0890540110000969"],"URL":"https:\/\/doi.org\/10.1016\/j.ic.2009.10.009","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}