{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:58Z","timestamp":1761611158982,"version":"build-2065373602"},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(05)80020-9","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T09:46:30Z","timestamp":1116495990000},"page":"331-352","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":14,"special_numbering":"C","title":["Metalevel Computation in Maude"],"prefix":"10.1016","volume":"15","author":[{"given":"M.","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Eker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80020-9_BIB1","first-page":"76","article-title":"Characterization of computable data types by means of a finite equational specification method","volume":"81","author":"Bergstra","year":"1980"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB2","unstructured":"P. Borovansk\u00fd, C. Kirchner, and H. Kirchner. Strategies and rewriting in ELAN. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), 1997."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB3","article-title":"Specification and proof in membership equational logic","author":"Bouhoula","year":"1997","journal-title":"Manuscript, SRI International"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB4","doi-asserted-by":"crossref","unstructured":"A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. In M. Bidoit and M. Dauchet, editors, Proceedings TAPSOFT'97, LNCS 1214, pages 67--92. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030589"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB5","unstructured":"R. Bruni, J. Meseguer, and U. Montanari. Internal strategies in a rewriting implementation of tile systems. This volume."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB6","article-title":"Process and term tile logic","author":"Bruni","year":"1998","journal-title":"Technical Report SRI-CSL-98-06, SRI International"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB7","doi-asserted-by":"crossref","unstructured":"R. Burstall and J. Goguen. The semantics of Clear, a specification language. In D. Bjorner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, LNCS 86, pages 292--332. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB8","doi-asserted-by":"crossref","unstructured":"M. Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.","DOI":"10.1016\/S1571-0661(05)82553-8"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB9","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude as a metalanguage. This volume."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB10","series-title":"Proc. of the CafeOBJ Symposium '98, Numazu, Japan","article-title":"Building equational logic tools by reflection in rewriting logic","author":"Clavel","year":"1998"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB11","article-title":"An introduction to Maude (beta version)","author":"Clavel","year":"1998","journal-title":"Manuscript, SRI International"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB12","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier,1996. http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB13","unstructured":"M. Clavel and J. Meseguer. Axiomatizing reflective logics and languages. In G. Kiczales, editor, Proceedings of Reflection'96, San Francisco, California, April 1996, pages 263--288. Xerox PARC, 1996."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB14","unstructured":"M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier,1996. http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB15","unstructured":"M. Clavel and J. Meseguer. Internal strategies in a reflective logic. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), pages 1--12, 1997."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB16","series-title":"Proc. of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana","article-title":"Protocol Specification and Analysis in Maude","author":"Denker","year":"1998"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB17","first-page":"390","article-title":"The Mur\u00d8 verification system","volume":"1102","author":"Dill","year":"1996"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB18","unstructured":"F. Dur\u00e1n and J. Meseguer. An extensible module algebra for Maude. This volume."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB19","unstructured":"S. Eker. Term rewriting with operator evaluation strategy. This volume."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB20","series-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","article-title":"The tile model. To appear","author":"Gadducci","year":"1996"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB21","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","article-title":"Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations","volume":"105","author":"Goguen","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB22","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL--92--03, SRI International, Computer Science Laboratory, 1992. To appear in J.A. Goguen and G.R. Malcolm, editors, Applications of Algebraic Specification Using OBJ, Academic Press, 1998."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB23","series-title":"Principles and Practice of Constraint Programming: The Newport Papers","first-page":"133","article-title":"Designing constraint logic programming languages using computational systems","author":"Kirchner","year":"1995"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB24","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1017\/S0960129500000980","article-title":"Axiomatizing permutation equivalence","volume":"6","author":"Laneve","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB25","unstructured":"N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, August 1993. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB26","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB27","first-page":"369","article-title":"A semantics preserving actor translation","volume":"1256","author":"Mason","year":"1997"},{"year":"1993","series-title":"Symbolic Model Checking","author":"McMillan","key":"10.1016\/S1571-0661(05)80020-9_BIB28"},{"issue":"1","key":"10.1016\/S1571-0661(05)80020-9_BIB29","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","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB30","first-page":"331","article-title":"Rewriting logic as a semantic framework for concurrency: A progress report","volume":"1119","author":"Meseguer","year":"1996"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB31","first-page":"18","article-title":"Membership algebra as a semantic framework for equational specification","volume":"1376","author":"Meseguer","year":"1998"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB32","series-title":"Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29 - August 6, 1997","article-title":"Research directions in rewriting logic","author":"Meseguer","year":"1998"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB33","unstructured":"J. Meseguer, K. Futatsugi, and T. Winkler. Using rewriting logic to specify, program, integrate, and reuse open concurrent systems of cooperating agents. In Proceedings of the 1992 International Symposium on New Models for Software Architecture, Tokyo, Japan, November 1992, pages 61--106. Research Institute of Software Engineering, 1992."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB34","first-page":"648","article-title":"Rewriting: An effective model of concurrency","volume":"817","author":"Viry","year":"1994"},{"key":"10.1016\/S1571-0661(05)80020-9_BIB35","unstructured":"P. Viry. Input\/output for ELAN. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. http:\/\/www.elsevier.nl\/Iocate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80020-9_BIB36","unstructured":"M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. Ph.D. Thesis, Universit\u00e9 Henry Poincar\u00e9---Nancy I, 1994."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800209?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800209?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:51Z","timestamp":1761610071000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105800209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":36,"alternative-id":["S1571066105800209"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80020-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Metalevel Computation in Maude","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80020-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1998 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}