Refinements and Modules for Typed Graph Transformation Systems-Reference-Cited by-同舟云学术

Refinements and Modules for Typed Graph Transformation Systems

Published:1999 Issue: Volume: Page:138-151
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Groβe-Rhode Martin,Presicce Francesco Parisi,Simeoni Marta

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48483-3_10

Reference12 articles.

1. E.K. Blum H. Ehrig F. Parisi Presicce “Algebraic Specication of Modules and Their Basic Interconnections” Journal of Computer and System Sciences Vol. 34 pp. 293–339 (1987)

2. A. Corradini R. Heckel “A Compositional Approach to Structuring and Renement of Typed Graph Grammars” Proc. of SEGRAGRA '95 “Graph Rewriting and Computation” ENTCS vol. 2, Elsevier (1995)

3. H. Ehrig B. Mahr “Fundamentals of Algebraic Specications 2: Module Specications and Constraints” EATCS Monographs on Theoretical Computer Science Vol. 21 Springer Verlag, Berlin (1990)

4. Lect Notes Comput Sci;G. Engels,1997

5. Lect Notes Comput Sci;G. Engels,1996

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

1. Graph Rewriting Components;Graph Transformation;2022

2. Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components;Applied Categorical Structures;2007-10-31

3. Flexible Interconnection of Graph Transformation Modules;Formal Methods in Software and Systems Modeling;2005

4. Property Preserving Redesign of Specifications;Algebra and Coalgebra in Computer Science;2005

5. Specification Matching of Web Services Using Conditional Graph Transformation Rules;Lecture Notes in Computer Science;2004