Synchronous products of rewrite systems (extended version)

Impacto

Martín Sánchez, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2016) Synchronous products of rewrite systems (extended version). [ ] (Unpublished)

 Preview

454kB

Abstract

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.

Item Type: Working Paper or Technical Report Technical report 02/16Departamento de Sistemas Informáticos y ComputaciónFacultad de InformáticaUniversidad Complutense de Madrid Synchronous product, parallel composition, rewriting logic strategies Maude transition systems modular specification modular verification Sciences > Computer scienceSciences > Computer science > Software 39856 04 Nov 2016 14:03 04 Nov 2016 14:03