Universidad Complutense de Madrid
E-Prints Complutense

Synchronous products of rewrite systems (extended version)

Impacto

Downloads

Downloads per month over past year



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

This is the latest version of this item.

[img]
Preview
PDF
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
Additional Information:

Technical report 02/16
Departamento de Sistemas Informáticos y Computación
Facultad de Informática
Universidad Complutense de Madrid

Uncontrolled Keywords:Synchronous product, parallel composition, rewriting logic strategies Maude transition systems modular specification modular verification
Subjects:Sciences > Computer science
Sciences > Computer science > Software
Series Name:
Volume:
Number:
ID Code:39856
Deposited On:04 Nov 2016 14:03
Last Modified:04 Nov 2016 14:03

Available Versions of this Item

Origin of downloads

Repository Staff Only: item control page