direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
Zitatschlüssel EHL10
Autor Hartmut Ehrig and Annegret Habel and Leen Lambers
Buchtitel Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
Seiten 1–24
Jahr 2010
ISBN ISSN 1863-2122
Journal Electr. Communications of the EASST
Jahrgang 26
Herausgeber Frank Drewes and Annegret Habel and Berthold Hoffmann and Detlef Plump
Verlag Electronic Communications of the EASST
Zusammenfassung We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories including different kinds of graphs. The proofs of the statements are based on the corresponding statements for rules without application conditions and two Shift-Lemmas, saying that nested application conditions can be shifted over morphisms and rules.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe