Some Papers on Maude and on Rewriting Logic

From The Maude System
Revision as of 19:48, 21 December 2020 by Malaga (Talk | contribs)

Jump to: navigation, search

Several bibliographies and surveys on rewriting logic and Maude have been published:

The following papers may serve as a selection of such huge body of work:

  • M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet, C. L. Talcott: Two Decades of Maude. Logic, Rewriting, and Concurrency: 232-254 (2015)
  • J. Meseguer, M. Palomino, N. Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)

Some Additional Papers on Maude and on Rewriting Logic