scientific article; zbMATH DE number 1231667

zbMath0917.68106MaRDI QIDQ4222994

J. Mesaguer, Narciso Martí-Oliet, Francisco Durán, Steven Eker, José F. Quesada, Patrick D. Lincoln, Manuel Clavel

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Rewriting logic: Roadmap and bibliography ⋮ Executable structural operational semantics in Maude ⋮ Two Decades of Maude ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• Maude

This page was built for publication: