scientific article; zbMATH DE number 6131591
From MaRDI portal
zbMath1257.68092MaRDI QIDQ4904140
Ulrike Golas, Frank Hermann, Hartmut Ehrig
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Special categories (18B99)
Related Items
Parallelism in AGREE Transformations, Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs, Fundamentals of compositional rewriting theory, Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs, A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework, Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes, Accretive computation of global transformations, Unnamed Item, On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems, Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality, Rewriting theory for the life sciences: a unifying theory of CTMC semantics, Constructing optimized constraint-preserving application conditions for model transformation rules, A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications, Rule Algebras for Adhesive Categories, Rule-based transformation of graph rewriting rules: towards higher-order graph grammars, Concurrency theorems for non-linear rewriting theories