Synchronous products of rewrite systems

DOI10.1007/978-3-319-46520-3_10MaRDI QIDQ1990506zbMATH OpenOpenAlexWikidataFDO

Authors Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Publication date 25 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-46520-3_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Compositional specification in rewriting logic
• Simulation and verification of synchronous set relations in rewriting logic
• Synchronization languages and rewriting systems
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1615226

Cited in

(3)

• Compositional specification in rewriting logic
• Simulation and verification of synchronous set relations in rewriting logic
• Kleene Theorems for Synchronous Products with Matching

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Synchronous products of rewrite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990506)