Exploració per autor "Habel, Annegret"
Ara es mostren els items 1-1 de 1
-
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)
Article
Accés obertNested 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 ...