{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:12:18Z","timestamp":1648620738036},"reference-count":16,"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)80636-4","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"128-149","source":"Crossref","is-referenced-by-count":15,"title":["Simulations in Coalgebra"],"prefix":"10.1016","volume":"82","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Hughes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S1571-0661(04)80636-4_NEWBIB1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/logcom\/12.2.217","article-title":"Final Coalgebras are Ideal Completions of Initial Algebras","volume":"12","author":"Ad\u00e1mek","year":"2002","journal-title":"Journ. of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB2","series-title":"Coalgebraic Methods in Computer Science","article-title":"A logic for coalgebraic simulation","author":"Baltag","year":"2000"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB3","series-title":"The Lambda Calculus. Its Syntax and Semantics","author":"Barendregt","year":"1984"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB4","unstructured":"A. Carboni, G. M. Kelly, and R.J. Wood. A 2-categorical approach to change of base and geometric morphisms I. Report 90\u20131, Dep. of Pure Mathematics, Univ. of Sydney, 1990."},{"issue":"2","key":"10.1016\/S1571-0661(04)80636-4_NEWBIB5","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1006\/inco.1996.0058","article-title":"A coinduction principle for recursive data types based on bisimulation","volume":"127","author":"Fiore","year":"1996","journal-title":"Inf. & Comp"},{"issue":"4","key":"10.1016\/S1571-0661(04)80636-4_NEWBIB6","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1093\/logcom\/9.4.463","article-title":"Coalgebraic theories of sequences in PVS","volume":"9","author":"Hensel","year":"1999","journal-title":"Journ. of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB7","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1006\/inco.1998.2725","article-title":"Structural induction and coinduction in a fibrational setting","volume":"145","author":"Hermida","year":"1998","journal-title":"Inf. & Comp"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB8","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0304-3975(98)00176-5","article-title":"Fixpoint semantics and simulation","volume":"238","author":"Hesselink","year":"2000","journal-title":"Theor. Comp. Sci"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB9","series-title":"Logical Foundations of Computer Science","first-page":"173","article-title":"Coalgebras and approximation","author":"Jacobs","year":"1994"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB10","series-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","first-page":"237","article-title":"Exercises in coalgebraic specification","author":"Jacobs","year":"2002"},{"issue":"2","key":"10.1016\/S1571-0661(04)80636-4_NEWBIB11","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1006\/inco.1995.1134","article-title":"Forward and backward simulations. I. Untimed systems","volume":"121","author":"Lynch","year":"1995","journal-title":"Inf. & Comp"},{"issue":"2","key":"10.1016\/S1571-0661(04)80636-4_NEWBIB12","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0304-3975(94)90014-0","article-title":"A co-induction principle for recursively defined domains","volume":"124","author":"Pitts","year":"1994","journal-title":"Theor. Comp. Sci"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB13","series-title":"Coalgebraic Methods in Computer Science","article-title":"Relators and metric bisimulations","author":"Rutten","year":"1998"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB14","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":"Theor. Comp. Sci"},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB15","unstructured":"A. Thijs. Simulation and Fixpoint Semantics. PhD thesis, Univ. Groningen, 1996."},{"key":"10.1016\/S1571-0661(04)80636-4_NEWBIB16","series-title":"Category Theory and Computer Science 2002","article-title":"Paths and simulations","author":"Worytkiewicz","year":"2002"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806364?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806364?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:53:41Z","timestamp":1549191221000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806364"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806364"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80636-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}