Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740)
From MaRDI portal
scientific article; zbMATH DE number 1586451
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Double-pullback transitions and coalgebraic loose semantics for graph transformation systems |
scientific article; zbMATH DE number 1586451 |
Statements
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (English)
0 references
16 April 2001
0 references
semantics of graph transformation systems
0 references
double-pullback transitions
0 references
