• Publications
  • Influence
Fundamentals of Algebraic Graph Transformation
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic andExpand
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
  • H. Ehrig
  • Computer Science, Mathematics
  • Graph-Grammars and Their Application to Computer…
  • 30 October 1978
The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now, as well as applications to a "very small data base system", where consistent states are represented as graphs. Expand
Graph-Grammars: An Algebraic Approach
An algebraic theory of graph-grammars is presented using homomorphisms and pushout-constructions to specify embeddings and direct derivations constructively and allows simplification of the proofs and pregnant formulation of concepts like "parallel composition" and "translation of grammars". Expand
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraicExpand
Fundamentals of Algebraic Specification 1
  • H. Ehrig, B. Mahr
  • Computer Science
  • EATCS Monographs on Theoretical Computer Science
  • 1 July 1985
data type in the sense of Hoare describes the class of admissible representations (or implementations), that a specification should define such a class rather than a single algebra, and that theExpand
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
This chapter starts with an overwiev of the basic notions common to the two algebraic approaches, the "double-pushout (DPO) approach) and the "single-push out (SPO) approaches"; next it is presented the classical theory and some recent development of the double- pushout approach. Expand
Fundamental Theory for Typed Attributed Graph Transformation
A rigorous approach to typed attributed graph transformation is obtained, providing as fundamental results the Local Church-Rosser, Parallelism, Concurrency, Embedding and Extension Theorem and a Local Confluence Theorem known as Critical Pair Lemma in the literature. Expand