{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:53Z","timestamp":1761611213989},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_30","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"422-437","source":"Crossref","is-referenced-by-count":7,"title":["The Extensibility of Maude\u2019s Module Algebra"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"30_CR1","unstructured":"D. Basin, M. Clavel, and J. Meseguer. Reflective metalogical frameworks. In Proc. of Workshop on Logical Frameworks and Meta-languages, 1999. Available at http:\/\/www.cs.bell-labs.com\/~felty\/LFM99\/ ."},{"key":"30_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. of 1979 Copenhagen Winter School on Abstract Software Specification","author":"R. Burstall","year":"1980","unstructured":"R. Burstall and J. Goguen. The semantics of Clear, a specification language. In D. Bj\u00f8rner, ed., Proc. of 1979 Copenhagen Winter School on Abstract Software Specification, vol. 86 of Lecture Notes in Computer Science, pp. 292\u2013332. Springer-Verlag, 1980."},{"key":"30_CR3","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. Manuscript, SRI International, January 1999. Available at http:\/\/maude.csl.sri.com ."},{"key":"30_CR4","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, and J. Meseguer. Building equational logic tools by reflection in rewriting logic. In Proc. of CafeOBJ Symposium\u201998. CafeOBJ Project, 1998."},{"key":"30_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1684","DOI":"10.1007\/3-540-48118-4_39","volume-title":"Formal Methods (Vol. II)","author":"M. Clavel","year":"1999","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, J. Meseguer, and M.-O. Stehr. Maude as a formal meta-tool. In J. Wing, J. Woodcock, and J. Davies, eds., Formal Methods (Vol. II), vol. 1709 of Lecture Notes in Computer Science, pp. 1684\u20131704. Springer-Verlag, 1999."},{"key":"30_CR6","unstructured":"M. Clavel and J. Meseguer. Axiomatizing reflective logics and languages. In G. Kiczales, ed., Proc. of Reflection\u201996, pp. 263\u2013288, 1996."},{"key":"30_CR7","unstructured":"M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, ed., Proc. of Workshop on Rewriting Logic and its Applications, vol. 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html ."},{"key":"30_CR8","unstructured":"CoFI Task Group on Language Design. CASL\u2014The common algebraic specification language, v. 1.0. Available at http:\/\/www.brics.dk\/Projects\/CoFI , 1998."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"R. Diaconescu and K. Futatsugi. CafeOBJ Report. AMAST Series. World Scientific, 1998.","DOI":"10.1142\/3831"},{"key":"30_CR10","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In G. Huet, G. Plotkin, and C. Jones, eds., Proc. of Workshop on Logical Frameworks, pp. 83\u2013130. Cambridge University Press, 1991."},{"key":"30_CR11","unstructured":"F. Dur\u00e1n. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, Universidad de M\u00e1laga, June 1999."},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"F. Dur\u00e1n and J. Meseguer. An extensible module algebra for Maude. In Kirchner and Kirchner, eds., Proc. of Workshop on Rewriting Logic and its Applications, vol. 15 of Electronic Notes in Theoretical Computer Science. Elsevier, 1998. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html .","DOI":"10.1016\/S1571-0661(05)80012-X"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"F. Dur\u00e1n and J. Meseguer. Structured theories and institutions. In M. Hofmann, G. Rosolini, and D. Pavlovi\u0107, eds., Proc. of Conference on Category Theory and Computer Science, vol. 29 of Electronic Notes in Theoretical Computer Science, pp. 71\u201390. Elsevier, 1999. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/-volume29.html .","DOI":"10.1016\/S1571-0661(05)80304-4"},{"key":"30_CR14","unstructured":"F. Dur\u00e1n and J. Meseguer. Structured theories and Maude\u2019s module algebra. In Proc. of Workshop on Algebraic Development Techniques (WADT\u201999), 1999."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"30_CR16","unstructured":"K. Futatsugi and T. Sawada. Cafe as an extensible specification environment. In Proc. of the Kunming International CASE Symposium, 1994."},{"key":"30_CR17","unstructured":"J. Goguen. Higher-order functions considered unnecessary for higher order programming. In D. Turner, ed., Proc. of University of Texas Year of Programming, Institute on Declarative Programming. Addison-Wesley, 1988."},{"key":"30_CR18","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, March 1992."},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"J. Guttag and J. Horning, eds. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"30_CR20","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. To appear in D.M. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers. Short version in J. Meseguer, ed., Proc. of Workshop on Rewriting Logic and its Applications, vol. 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. Available at http:\/\/www.elsevier.nl\/locate\/-entcs\/volume4.html ."},{"key":"30_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. In G. Agha, P. Wegner, and A. Yonezawa, eds., Research Directions in Object-Based Concurrency, pp. 314\u2013390. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"30_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques (WADT\u201997)","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer. Membership algebra as a semantic framework for equational specification. In F. Parisi-Presicce, ed., Recent Trends in Algebraic Development Techniques (WADT\u201997), vol. 1376 of Lecture Notes in Computer Science, pp. 18\u201361. Springer-Verlag, 1998."},{"key":"30_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-60117-1_22","volume-title":"Proc. of Conference on Mathematics of Program Construction","author":"Y. Srinivas","year":"1995","unstructured":"Y. Srinivas and R. J\u00fcllig. SPECWARE: Formal support for composing software. In B. Moeller, ed., Proc. of Conference on Mathematics of Program Construction, vol. 947 of Lecture Notes in Computer Science, pp. 399\u2013422. Springer-Verlag, 1995."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T05:13:49Z","timestamp":1708146829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}