Browsing by Author "Habel, Annegret"
M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas Valdés, Fernando (2014-08-01)
Open AccessNested application conditions generalise the well-known negative application conditions and are important for several application domains. In this paper, we present Local Church-Rosser, Parallelism, Concurrency and ...