Synchronous products of rewrite systems

DOI10.1007/978-3-319-46520-3_10zbMATH Open1398.68279OpenAlexW2521108378WikidataQ123905817 ScholiaQ123905817MaRDI QIDQ1990506FDOQ1990506

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (3)

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

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)