Categorical principles, techniques and results for high-level-replacement systems in computer science
- 1 January 1993
- journal article
- research article
- Published by Springer Nature in Applied Categorical Structures
- Vol. 1 (1) , 21-50
- https://doi.org/10.1007/bf00872984
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Introduction to the algebraic theory of graph grammars (a survey)Published by Springer Nature ,2005
- From graph grammars to high level replacement systemsPublished by Springer Nature ,2005
- Graph rewriting in some categories of partial morphismsPublished by Springer Nature ,2005
- Parallel and distributed derivations in the single-pushout approachTheoretical Computer Science, 1993
- Parallelism and concurrency in high-level replacement systemsMathematical Structures in Computer Science, 1991
- Pushout-complements and basic concepts of grammars in toposesTheoretical Computer Science, 1990
- Modular system design applying graph grammars techniquesPublished by Springer Nature ,1989
- On “on graph rewritings”Theoretical Computer Science, 1987
- On graph rewritingsTheoretical Computer Science, 1984
- Parallelism and concurrency of graph manipulationsTheoretical Computer Science, 1980