Parallel high-level replacement systems

High-Level Replacement Systems presented in [EHKP92] are an axiomatic categorical framework based on double-pushouts in order to unify replacement systems like grammars for different kinds of graphs and relational structures or other types of structures like algebraic specifications. Parallel High-Level-Replacement Systems are introduced to formalize parallel rewriting of these high-level structures. On one hand this concept generalizes and extends parallel graph grammars presentd in [EK76] by allowing other structures than graphs, on the other hand the kinds of derivation introduced in [EHKP92] for High-Level Replacement Systems are extended by different types of parallel derivation which are compared to each other in different dynamic parallel derivation theorems. An abstract version of a window-based graph editor and movement of objects in configuration spaces are presented as examples of Parallel High-Level Replacement SystemsSIGLEAvailable from TIB Hannover: RN 2856(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman