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

From The Maude System
Jump to: navigation, search
Line 5: Line 5:
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 
-->
 
-->
 +
A friendly introduction to the latest advances in the Maude system has recently been published at LOPSTER 2020: [maude-tapas.pdf Symbolic Computation in Maude: Some Tapas].
 +
 
Several bibliographies and surveys on rewriting logic and Maude have been published:
 
Several bibliographies and surveys on rewriting logic and Maude have been published:
  
Line 51: Line 53:
 
* J. Meseguer: [https://www.sciencedirect.com/science/article/pii/030439759290182F Conditional rewriting logic as a unified model of concurrency]. Theor. Comput. Sci. 96(1): 73-155 (1996)
 
* J. Meseguer: [https://www.sciencedirect.com/science/article/pii/030439759290182F Conditional rewriting logic as a unified model of concurrency]. Theor. Comput. Sci. 96(1): 73-155 (1996)
  
[http://maude.cs.illinois.edu/papers/ Some Additional Papers on Maude and on Rewriting Logic]
+
Some Additional Papers on Maude and on Rewriting Logic are available [http://maude.cs.illinois.edu/papers/ here].

Revision as of 16:01, 22 December 2020

A friendly introduction to the latest advances in the Maude system has recently been published at LOPSTER 2020: [maude-tapas.pdf Symbolic Computation in Maude: Some Tapas].

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

  • 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)

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

  • 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 are available here.