direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
Zitatschlüssel PE07
Autor Prange, U. and Ehrig, H.
Buchtitel Algebraic Informatics. Proceedings of CAI 2007
Seiten 122–146
Jahr 2007
ISBN ISBN 978-3-540-75413-8
DOI http://dx.doi.org/10.1007/978-3-540-75414-5_8
Jahrgang 4728
Herausgeber Bozapalidis, S. and Rahonis, G.
Verlag SPRINGER
Serie LNCS
Zusammenfassung In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, critical pairs and confluence are introduced. As a generalization, the categorical framework of adhesive high-level replacement systems is introduced which allows to instantiate the rich theory to several interesting classes of high-level structures.
Link zur Publikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008