Synchronous products of rewrite systems (extended version)
Óscar Martín, Alberto Verdejo López, Narciso Martí Oliet · 2016
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.