The following pages link to Rodrigo Machado (Q1708170):
Displaying 6 items.
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- Verigraph: a system for specification and analysis of graph grammars (Q1784784) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (Q2947220) (← links)
- (Q4739292) (← links)
