Pages that link to "Item:Q5740374"

The following pages link to Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374):

Displaying 10 items.

• Amalgamation of domain specific languages with behaviour (Q347380) (← links)
• Variability-based model transformation: formal foundation and application (Q682373) (← links)
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
• A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
• Constructing constraint-preserving interaction schemes in adhesive categories (Q2185892) (← links)
• Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211) (← links)
• (Q5020536) (← links)
• (Q5020951) (← links)
• Fundamentals of compositional rewriting theory (Q6052944) (← links)
• Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)