RT Report
T1 Synchronous products of rewrite systems (extended version)
A1 Martín Sánchez, Óscar
A1 Verdejo López, José Alberto
A1 Martí Oliet, Narciso
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 control of systems, and for modular specification and verification.
YR 2016
FD 2016-03
LK https://hdl.handle.net/20.500.14352/139.1
UL https://hdl.handle.net/20.500.14352/139.1
LA eng
NO Technical report 02/16Departamento de Sistemas Informáticos y ComputaciónFacultad de InformáticaUniversidad Complutense de Madrid
NO Comunidad de Madrid
NO Ministerio de Economía y Competitividad (MINECO)
DS Docta Complutense
RD 9 abr 2025