Algebraic approach to graph transformation based on single pushout derivations
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 338-353
- https://doi.org/10.1007/3-540-53832-1_52
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Modular system design applying graph grammars techniquesPublished by Springer Nature ,1989
- Jungle evaluation for efficient term rewritingPublished by Springer Nature ,1988
- On “on graph rewritings”Theoretical Computer Science, 1987
- A model for distributed systems based on graph rewritingJournal of the ACM, 1987
- Graph rewriting with unification and compositionPublished by Springer Nature ,1987
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- On graph rewritingsTheoretical Computer Science, 1984
- Graph grammars and operational semanticsTheoretical Computer Science, 1982