Pages that link to "Item:Q3540408"
From MaRDI portal
The following pages link to A Modal-Logic Based Graph Abstraction (Q3540408):
Displaying 4 items.
- A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting (Q1998863) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
