scientific article; zbMATH DE number 2038715

zbMath1039.03020MaRDI QIDQ4449180

José Meseguer, Roberto Bruni

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190252.htm

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (15)

Executable structural operational semantics in Maude ⋮ Proving termination of context-sensitive rewriting by transformation ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ The rewriting logic semantics project ⋮ Twenty years of rewriting logic ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Canonization of reconfigurable PT nets in \texttt{Maude} ⋮ Equational abstractions ⋮ Proving operational termination of membership equational programs ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Semantic foundations for generalized rewrite theories ⋮ Applications and extensions of context-sensitive rewriting ⋮ Operational termination of conditional term rewriting systems ⋮ Recent Advances in Real-Time Maude ⋮ Abstraction and Completeness for Real-Time Maude

Uses Software

• CafeOBJ
• Maude

This page was built for publication: