{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121787},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":6419,"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":[[1996]]},"DOI":"10.1016\/s1571-0661(04)00041-6","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"226-245","source":"Crossref","is-referenced-by-count":10,"special_numbering":"C","title":["Foundations of Behavioural Specification in Rewriting Logic"],"prefix":"10.1016","volume":"4","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB1","series-title":"Arrows, Structures and Functors","author":"Arbib","year":"1975"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB2","volume":"volume 2","author":"Borceaux","year":"1994"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB3","unstructured":"Rod Burstall and R\u0103zvan Diaconescu. Hiding and behaviour: an institutional approach. In A. William Roscoe, author, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75\u201392. Prentice-Hall, 1994. Also in Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992."},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB4","unstructured":"R\u0103zvan Diaconescu. Category-based Semantics for Equational and Constraint Logic Programming. PhD thesis, University of Oxford, 1994."},{"issue":"1","key":"10.1016\/S1571-0661(04)00041-6_NEWBIB5","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1017\/S0960129500000621","article-title":"Completeness of category-based equational deduction","volume":"5","author":"Diaconescu","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB6","doi-asserted-by":"crossref","unstructured":"R\u0103zvan Diaconescu. A category-based equational logic semantics to constraint programming. In Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors, Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science, pages 200\u2013221. Springer, 1996. Proceedings of 11th Workshop on Specification of Abstract Data Types. Oslo, Norway, September 1995.","DOI":"10.1007\/3-540-61629-2_44"},{"issue":"5","key":"10.1016\/S1571-0661(04)00041-6_NEWBIB7","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s002360050054","article-title":"Category-based modularisation for equational logic programming","volume":"33","author":"Diaconescu","year":"1996","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB8","unstructured":"R\u0103zvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83\u2013130. Cambridge, 1993. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991."},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB9","unstructured":"Kokichi Futatsugi and Toshimi Sawada. Design considerations for cafe specification environment. In Proc. OBJ2 10th Anniversary Workshop, October 1995."},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Joseph Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors, Topology and Category Theory in Computer Science, pages 357\u2013390. Oxford, 1991. Proceedings of a Conference held at Oxford, June 1989.","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"issue":"1","key":"10.1016\/S1571-0661(04)00041-6_NEWBIB11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and R\u0103zvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1\u201334. Springer, 1994.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and R\u0103zvan Diaconescu. An introduction to category-based equational logic. In V.S. Alagar and Maurice Nivat, editors, Algebraic Methodology and Software Technology, volume 936 of Lecture Notes in Computer Science, pages 91\u2013126. Springer, 1995.","DOI":"10.1007\/3-540-60043-4_48"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB14","unstructured":"Joseph Goguen and Grant Malcolm. A hidden agenda, 1996. draft."},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB15","unstructured":"Joseph Goguen, Timothy Winkler, Jos\u00e9 Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen, editor, Algebraic Specification with OBJ: An Introduction with Case Studies. Cambridge, to appear 1995. Also to appear as Technical Report from SRI International."},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB16","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S1571-0661(04)00041-6_NEWBIB17","doi-asserted-by":"crossref","unstructured":"F. William Lawvere. Functorial semantics of algebraic theories. Proceedings, National Academy of Sciences, U.S.A., 50:869\u2013872, 1963. Summary of Ph.D. Thesis, Columbia University.","DOI":"10.1073\/pnas.50.5.869"},{"issue":"93","key":"10.1016\/S1571-0661(04)00041-6_NEWBIB18","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000416?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000416?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T02:14:00Z","timestamp":1705025640000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":18,"alternative-id":["S1571066104000416"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00041-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}