Amalgamation of graph transformations: A synchronization mechanism
- 1 April 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 34 (2-3), 377-408
- https://doi.org/10.1016/0022-0000(87)90030-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Applications of graph grammar theory to consistency, synchronization and scheduling in data base systemsInformation Systems, 1980
- Parallelism and concurrency of graph manipulationsTheoretical Computer Science, 1980
- The Structure of Parallel AlgorithmsPublished by Elsevier ,1980
- Pushout‐Properties: An analysis of gluing constructions for graphsMathematische Nachrichten, 1979
- Deriving graphs from graphs by applying a productionActa Informatica, 1975