Amalgamation of graph transformations: A synchronization mechanism
Authors:
- Paul BoehmPBPaul Boehm
- Harald-Reto FonioHFHarald-Reto Fonio
- Annegret HabelAHAnnegret Habel
- 1 April 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 34 (2-3) , 377-408
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 Algorithms1980
- Pushout‐Properties: An analysis of gluing constructions for graphsMathematische Nachrichten, 1979
- Deriving graphs from graphs by applying a productionActa Informatica, 1975