Martín Sánchez, ÓscarVerdejo López, José AlbertoMartí Oliet, Narciso2023-06-152023-06-152016https://hdl.handle.net/20.500.14352/139.1Technical report 02/16 Departamento de Sistemas Informáticos y Computación Facultad de Informática Universidad Complutense de MadridWe 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.engtechnical reportopen access004.4Synchronous productParallel compositionRewriting logicStrategiesMaudeTransition systemsModular specificationModular verificationInformática (Informática)Software1203.17 Informática3304.16 Diseño Lógico