Pages that link to "Item:Q4629264"

The following pages link to Strategic port graph rewriting: an interactive modelling framework (Q4629264):

Displaying 8 items.

• Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
• A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
• Metalevel transformation of strategies (Q2667189) (← links)
• Unification of drags and confluence of drag rewriting (Q2683036) (← links)
• (Q5018494) (← links)
• (Q5018497) (← links)
• A Port Graph Rewriting Approach to Relational Database Modelling (Q5097637) (← links)
• The Maude strategy language (Q6113021) (← links)