Refinements of Graph Transformation Systems via Rule Expressions

Graph transformation systems are formal models of computational systems , speciied by rules that describe the atomic steps of the system. A reenement of a graph transformation system is given by associating with each of its rules a composition of rules of a reening system, that has the same visible eeect as the original rule. The basic composition… CONTINUE READING