Difference between revisions of "Some Papers on Maude and on Rewriting Logic"

From The Maude System
Jump to: navigation, search
(Roadmap and Bibliography)
Line 1: Line 1:
 
== Roadmap and Bibliography ==
 
== Roadmap and Bibliography ==
  
* [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso Martí-Oliet and José Meseguer.
+
* [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso Martí-Oliet and José Meseguer (2001)
 
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains cross references to proceedings volumes.
 
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains cross references to proceedings volumes.
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.

Revision as of 10:59, 21 December 2020

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • 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