Synchronous products of rewrite systems (extended version)

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...

Full description

Authors: Martín Sánchez, Óscar; Verdejo López, José Alberto; Martí Oliet, Narciso
Format: Report
Publication date:2016
Country:España
Institution:Universidad Complutense de Madrid (UCM)
Repository:Docta Complutense
Language:English
OAI Identifier:oai:docta.ucm.es:20.500.14352/139.1
Online Access:https://hdl.handle.net/20.500.14352/139.1
Access Level:Open access
Keyword:004.4
Synchronous product
Parallel composition
Rewriting logic
Strategies
Maude
Transition systems
Modular specification
Modular verification
Informática (Informática)
Software
1203.17 Informática
3304.16 Diseño Lógico
Summary: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.

Similar Items