Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

Authors

  • Hartmut Ehrig
  • Annegret Habel
  • Leen Lambers

DOI:

https://doi.org/10.14279/tuj.eceasst.26.363

Abstract

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.

Downloads

Published

2010-03-28

How to Cite

[1]
H. Ehrig, A. Habel, and L. Lambers, “Parallelism and Concurrency Theorems for Rules with Nested Application Conditions”, eceasst, vol. 26, Mar. 2010.