{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099300,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1109\/ase.2000.873657","type":"proceedings-article","created":{"date-parts":[[2002,11,7]],"date-time":"2002-11-07T18:28:47Z","timestamp":1036693727000},"page":"123-131","source":"Crossref","is-referenced-by-count":33,"title":["Circular coinductive rewriting"],"prefix":"10.1109","author":[{"given":"J.","family":"Goguen","sequence":"first","affiliation":[]},{"given":"K.","family":"Lin","sequence":"additional","affiliation":[]},{"given":"C.","family":"Rosu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Theoretical Computer Science","year":"1997","author":"goguen","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","article-title":"Hiding more of hidden algebra","volume":"1709","author":"goguen","year":"1999","journal-title":"FM'99 - Formal methods"},{"key":"ref12a","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80625-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01642507"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","article-title":"Observational logic","volume":"1548","author":"hennicker","year":"1999","journal-title":"Algebraic Methodology and Software Technology (AMAST'98)"},{"volume":"28","journal-title":"Lecture Notes Theoret Comput Sci","year":"0","key":"ref12b"},{"key":"ref16","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"jacobs","year":"1997","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"journal-title":"Circular coinduction","year":"2000","author":"ro?u","key":"ref18"},{"key":"ref19","first-page":"252","volume":"1761","author":"ro?u","year":"2000","journal-title":"Automated Deduction in Classical and Non-Classical Logics"},{"key":"ref2a","first-page":"83","article-title":"Observer complete definitions are behaviourally coherent","author":"bidoit","year":"1999","journal-title":"OBJ\/CafeOBJ\/Maude at Formal Methods '99"},{"journal-title":"Proceedings of a workshop","year":"1999","key":"ref2b"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63104-6_29"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80756-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/3831"},{"journal-title":"Behavioural coherence in object-oriented algebraic specification","year":"1998","author":"diaconescu","key":"ref5"},{"journal-title":"Proceedings of a workshop","year":"1999","key":"ref17b"},{"key":"ref8","first-page":"1","article-title":"Towards an algebraic semantics for the object paradigm","volume":"785","author":"goguen","year":"1994","journal-title":"Proceedings Tenth Workshop on Abstract Data Types"},{"key":"ref17a","first-page":"179","article-title":"Behavioral coinductive rewriting","author":"ro?u","year":"1999","journal-title":"OBJ\/CafeOBJ\/Maude at Formal Methods '99"},{"key":"ref7","first-page":"357","author":"goguen","year":"1991","journal-title":"Topology and Category Theory in Computer Science"},{"key":"ref1","volume":"60","author":"barwise","year":"1996","journal-title":"Vicious Circles On the Mathematics of Non-wellfounded Phenomena"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599002777"},{"key":"ref13a","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0"},{"journal-title":"Technical Report","year":"1988","key":"ref13b"}],"event":{"name":"Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference","start":{"date-parts":[[2000,9,11]]},"location":"Grenoble, France","end":{"date-parts":[[2000,9,15]]}},"container-title":["Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7013\/18910\/00873657.pdf?arnumber=873657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:54:43Z","timestamp":1497520483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/873657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ase.2000.873657","relation":{},"subject":[],"published":{"date-parts":[[2000]]}}}