The following pages link to (Q3323294):
Displaying 7 items.
- A graph transformation algorithm for concurrency control in a partitioned database (Q1178195) (← links)
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (Q3541977) (← links)
- (Q4381716) (← links)
- (Q4415067) (← links)
- Concurrency and loose semantics of open graph transformation systems (Q4792940) (← links)
- Delaying Constraint Solving in Symbolic Graph Transformation (Q4931303) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898161) (← links)