Pages that link to "Item:Q5740375"

The following pages link to -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375):

Displaying 27 items.

• Variability-based model transformation: formal foundation and application (Q682373) (← links)
• Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
• Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
• A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
• Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions (Q2864377) (← links)
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence (Q2898463) (← links)
• Conditional reactive systems (Q2911624) (← links)
• Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
• Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222) (← links)
• Rule Algebras for Adhesive Categories (Q3300790) (← links)
• (Q5020536) (← links)
• (Q5020951) (← links)
• (Q5021217) (← links)
• (Q5021224) (← links)
• (Q5021230) (← links)
• Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
• Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
• Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
• Formal Methods in Software and Systems Modeling (Q5710414) (← links)
• Evaluation diversity for graph conditions (Q6156934) (← links)
• Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310) (← links)
• Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)