%0 Report
%A Martín Sánchez, Óscar
%A Verdejo López, José Alberto
%A Martí Oliet, Narciso
%T Synchronous products of rewrite systems (extended version)
%D 2016
%U https://hdl.handle.net/20.500.14352/139.1
%X 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 control of systems, and for modular specification and verification.
%~