The following pages link to (Q4694717):
Displaying 7 items.
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- Programmed graph transformations and graph transformation units in GRACE (Q4645271) (← links)
- Syntax and semantics of hybrid database languages (Q5096272) (← links)
- Uniform-modelling in graph grammar specifications (Q5096289) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)
- Using programmed graph rewriting for the formal specification of a configuration management system (Q6184367) (← links)
- (Q6198040) (← links)