Synchronous products of rewrite systems (extended version)

Downloads

Downloads per month over past year

36146

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)

Warning
There is a more recent version of this item available.

[thumbnail of syncprod-long.pdf]
Preview
PDF
419kB


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:36146
Deposited On:10 Mar 2016 10:28
Last Modified:04 Nov 2016 14:03

Available Versions of this Item

Origin of downloads

Repository Staff Only: item control page