The following pages link to (Q4023261):
Displaying 5 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Process specification and verification (Q4645279) (← links)
- Hierarchically distributed graph transformation (Q4645284) (← links)
- Visual Modeling of Distributed Object Systems by Graph Transformation (Q4923550) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
