The following pages link to (Q4037311):
Displayed 7 items.
- Graph rewriting for a partial ordering semantics of concurrent constraints programming (Q685459) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Jungle rewriting: An abstract description of a lazy narrowing machine (Q5096278) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
- Contextual occurrence nets and concurrent constraint programming (Q5096288) (← links)