A Compositional Approach to Structuring and Refinement of Typed Graph Grammars-Reference-Cited by-同舟云学术

A Compositional Approach to Structuring and Refinement of Typed Graph Grammars

Published:1995 Issue: Volume:2 Page:46-55
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Corradini Andrea,Heckel Reiko

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference8 articles.

1. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and J. Padberg, Typed graph grammars and their adjunction with categories of derivations, submitted for publication.

2. Graph processes;Corradini,1995

3. H. Ehrig and R. Bardohl, Specification techniques using dynamic abstract data types and application to shipping software, Proc. of the International Workshop on Advanced Software Technology, 1994, 70–85.

4. H. Ehrig, Introduction to the algebraic theory of graph grammars, in V. Claus, H. Ehrig, and G. Rozenberg (Eds), Proceedigs of the 1st International Workshop on Graph Grammars and Their Application to Computer Science and Biology, Lecture Notes in Computer Science 73, 1979, 1–69.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Foundations for Software Configuration Management Policies Using Graph Transformations;Fundamental Approaches to Software Engineering;2000

2. Spatial and temporal refinement of typed graph transformation systems;Mathematical Foundations of Computer Science 1998;1998

3. Horizontal and vertical structuring of typed graph transformation systems;Mathematical Structures in Computer Science;1996-12

4. Concurrent graph and term graph rewriting;CONCUR '96: Concurrency Theory;1996

5. Concurrent Computing: from Petri Nets to Graph Grammars;Electronic Notes in Theoretical Computer Science;1995