scientific article; zbMATH DE number 2038715
From MaRDI portal
Publication:4449180
zbMath1039.03020MaRDI QIDQ4449180
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.
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
This page was built for publication:
