Algebra Transformation Systems as a Unif
β
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