Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Critical pair analysis in single-pushout graph rewriting

 
: Löwe, M.; Müller, J.

Feruglio, G.V.; Llompart, F.R. ; Univ. of the Balearic Islands, Palma de Mallorca:
Colloquium on Graph Transformation and its Application in Computer Science. Proceedings
Palma de Mallorca, 1994 (UIB Technical Report B-19)
pp.71-77
Colloquium on Graph Transformation and its Application in Computer Science <1994, Palma de Mallorca>
English
Conference Paper
Fraunhofer ISST ()
computer science; graph rewriting; graph transformation

Abstract
In this paper we prove as a central theorem, that the local confluence of critical pairs implies the local confluence of a single-pushout graph rewriting system. For this result it is necessary to suitable generalize the notions of critical pair and confluence from the standard case of term or tree rewriting to the more gneral case of graph transformation.

: http://publica.fraunhofer.de/documents/PX-8813.html