Download Statistics
Download StatisticsImpacto
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.
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 |
| 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
-
Synchronous products of rewrite systems (extended version). (deposited 10 Mar 2016 10:28)
- Synchronous products of rewrite systems (extended version). (deposited 04 Nov 2016 14:03) [Currently Displayed]
Origin of downloads
Repository Staff Only: item control page
