We propose a truly concurrent semantics for graph grammars, based on event structures, that generalizes to arbitrary consuming grammars (i.e., such that each production deletes some items) the semantics presented in [4] for the subclass of safe grammars. Also, parallel derivations are explicitly considered, instead of sequential ones only as in [4]. The “domain” and the “event structure” of a grammar are introduced independently, and one main result shows that they are strongly related, since the domain is the domain of finite configurations of the event structure. Another important result provides an abstract characterization of when two (parallel) graph derivations should be considered as equivalent from a true-concurrency perspective.
CITATION STYLE
Corradini, A., Ehrig, H., Löwe, M., Montanari, U., & Rossi, F. (1996). An event structure semantics for graph grammars with parallel productions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1073, pp. 240–256). Springer Verlag. https://doi.org/10.1007/3-540-61228-9_91
Mendeley helps you to discover research relevant for your work.