Pages that link to "Item:Q2096426"
From MaRDI portal
The following pages link to A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426):
Displaying 4 items.
- (Q5020536) (← links)
- Specification and modelling of computing systems through graphs and graph transformation (Q6052952) (← links)
- Advanced consistency restoration with higher-order short-cut rules (Q6535514) (← links)
- Advanced model consistency restoration with higher-order short-cut rules (Q6635508) (← links)