Amalgamation of graph transformations: a synchronization mechanism (Q1822505)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Amalgamation of graph transformations: a synchronization mechanism |
scientific article |
Statements
Amalgamation of graph transformations: a synchronization mechanism (English)
0 references
1987
0 references
See the review of the preliminary version in Zbl 0568.68059.
0 references
data structures
0 references
graph derivations
0 references
synchronization of graph manipulations
0 references
graph grammar
0 references
distributed systems
0 references
railway control system
0 references