TY  - RPRT
AU  - Martín Sánchez, Óscar
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/139.1
AB  - We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic...
LA  - eng
KW  - Synchronous product
KW  - parallel composition
KW  - rewriting logicstrategiesMaudetransition systemsmodular specificationmodular verification
TI  - Synchronous products of rewrite systems (extended version)
TY  - technical report
ER  -