Adhesive High-Level Replacement Categories and Systems : Long Version

@inproceedings{Ehrig2004AdhesiveHR,
  title={Adhesive High-Level Replacement Categories and Systems : Long Version},
  author={Hartmut Ehrig and Annegret Habel and Julia Padberg and Ulrike Prange},
  year={2004}
}
Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept of HLR systems with the new concept of adhesive categories introduced by Lack and Sobociński. In this paper we show that most of the HLR properties, which had been introduced ad hoc to generalize some basic results from the category of graphs to high-level structures, are valid already in adhesive HLR… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

Graph Transformations

  • Lecture Notes in Computer Science
  • 2004
VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND

Confluence of Graph Transformation Revisited

  • Processes, Terms and Cycles
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES