𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Components for Algebra Transformation Systems

✍ Scribed by Fernando Orejas; Hartmut Ehrig

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
723 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algebra Transformation Systems as a Unif
Algebra Transformation Systems as a Unifying Framework
✍ Martin Große–Rhode πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 286 KB

There is a variety of different approaches to the specification of software systems based on graph rewriting. In order to relate these and other state and/or rules based approaches algebra transformation systems have been introduced. They constitute a semantic domain that is independent of the way i

Program Algebra for Component Code
Program Algebra for Component Code
✍ J. A. Bergstra; M. E. Loots πŸ“‚ Article πŸ“… 2000 πŸ› Springer 🌐 English βš– 135 KB
Transformation Systems for Incidence Str
Transformation Systems for Incidence Structures
✍ G. Rinaldi; L.A. Rosati πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 83 KB

By taking into account the transformation technique of Quattrocchi and Rosati, we study how to generate transformation systems for an incidence structure by starting from some given generating blocks and by a suitable permutation of the points. Furthermore, the method is applied to obtain the finite