Single pushout transformations of equationally defined graph structures with applications to actor systems
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 234-247
- https://doi.org/10.1007/3-540-57787-4_15
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Categorical principles, techniques and results for high-level-replacement systems in computer scienceApplied Categorical Structures, 1993
- Parallelism and concurrency in high-level replacement systemsMathematical Structures in Computer Science, 1991
- Implementing term rewriting by jungle evaluationRAIRO - Theoretical Informatics and Applications, 1991
- Actor grammarsTheory of Computing Systems, 1989
- Amalgamation of graph transformations: A synchronization mechanismJournal of Computer and System Sciences, 1987
- Graph grammars and operational semanticsTheoretical Computer Science, 1982
- Transformations of structures: An algebraic approachTheory of Computing Systems, 1981
- Applications of graph grammar theory to consistency, synchronization and scheduling in data base systemsInformation Systems, 1980
- On the structure of node-label-controlled graph languagesInformation Sciences, 1980
- Graph-grammars: An algebraic approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973