direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
Zitatschlüssel LEOP08
Autor Lambers, L. and Ehrig, H. and Orejas, F. and Prange, U.
Buchtitel Proceedings of the ACCAT workshop at ETAPS 2007
Seiten 43–66
Jahr 2008
ISBN ISSN 1571-0661
Jahrgang 203 / 6
Herausgeber Ehrig, H. and Pfalzgraf, J. and Prange, U.
Verlag Elsevier
Zusammenfassung The goal of this paper is the generalization of parallelism and concurrency results for adhesive High-Level Replacement (HLR) systems to adhesive HLR systems with negative application conditions. These conditions restrict the application of a rule by expressing that a specific structure should not be present before or after applying the rule to a certain context. Such a condition influences thus each rule application or transformation and therefore changes significantly the properties of the replacement system. The effect of negative application conditions on parallelism and concurrency in the replacement system is described in the generalization of the following results, formulated already for adhesive HLR systems without negative application conditions: Local Church-Rosser Theorem, Parallelism Theorem and Concurrency Theorem. These important generalized results will support the development of formal analysis techniques for adhesive HLR systems with negative application conditions.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe