Congruences for Contextual Graph-Rewriting
Citations
234 citations
98 citations
81 citations
Cites background or methods from "Congruences for Contextual Graph-Re..."
...In fact, this requires corresponding noninjective extensions of Conditions A.1–A.8, which have been shown already in Sassone and Sobociński (2004) and Sobociński (2004), respectively....
[...]
...† A more formal treatment can be found in Sassone and Sobociński (2004)....
[...]
...(34) Moreover, it is shown in Sassone and Sobociński (2004) that the construction of rewriting steps based on their GRPOs corresponds exactly to rewriting with borrowed contexts in our sense (see Definition 3.1)....
[...]
...Apart from this simplification, there are, in principle, two ways to force uniqueness: one can either add support to the category (Leifer 2001; Jensen and Milner 2003), that is, every graph item should have a unique unchangeable name; or one can work in a 2-categorical setting (Sassone and Sobociński 2004; Sassone and Sobociński 2003), where commuting cubes such as the one in Diagram (31) are additionally provided with an isomorphism giving a ‘proof of structural congruence’....
[...]
...The alternative, which is pursued in Sassone and Sobociński (2003) and Sassone and Sobociński (2004), would be to fix a choice of pushout....
[...]
56 citations
Cites background or methods from "Congruences for Contextual Graph-Re..."
...Recent work (Ehrig 2002; Ehrig and König 2004; Sassone and Sobocinski 2004), however, bridges these gaps and therefore opens up the possibility for a formal comparison....
[...]
...Recent work (Ehrig 2002; Ehrig and König 2004; Sassone and Sobocinski 2004), however, bridges these gaps and therefore opens up the possibility for a formal comparison....
[...]
...This led to the paper Ehrig and König (2004), which was further generalised by Sassone and Sobocinski (2004), in which the RPO technique is transferred to graph-embedding categories....
[...]
51 citations
References
9,254 citations
540 citations
"Congruences for Contextual Graph-Re..." refers background in this paper
...Introduced in [6], it has recently been generalised in [3, 11, 4]....
[...]
221 citations
177 citations
"Congruences for Contextual Graph-Re..." refers background in this paper
...Introduced in [6], it has recently been generalised in [3, 11, 4]....
[...]
118 citations
"Congruences for Contextual Graph-Re..." refers background in this paper
...The labels of the lts are the ‘smallest’ contexts which allow reactions to occur ‐ an idea due to Sewell [ 18 ]....
[...]