Spatial and temporal refinement of typed graph transformation systems-Reference-Cited by-同舟云学术

Spatial and temporal refinement of typed graph transformation systems

Published:1998 Issue: Volume: Page:553-561
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 1998
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055805

Reference13 articles.

1. E.K. Blum, H. Ehrig, and F. Parisi-Presicce. Algebraic specification of modules and their basic interconnections. JCSS, 34(2–3):293–339, 1987.

2. P. Böhm, H.-R. Fonio, and A. Habel. Amalgamation of graph transformations: a synchronization mechanism. JCSS, 34:377–408, 1987.

3. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and J. Padberg. The category of typed graph grammars and its adjunctions with categories of derivations. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, Springer LNCS 1073, pages 240–256. 1996.

4. A. Corradini and R. Heckel. A compositional approach to structuring and refinement of typed graph grammars. Proc. of SEGRAGRA'95 ”Graph Rewriting and Computation”, Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.

5. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3,4):241–266, 1996.

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

1. GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics;Composing Model-Based Analysis Tools;2021

2. Amalgamation of domain specific languages with behaviour;Journal of Logical and Algebraic Methods in Programming;2017-01

3. GTS Families for the Flexible Composition of Graph Transformation Systems;Fundamental Approaches to Software Engineering;2017

4. Composition of Graph-Transformation-Based DSL Definitions by Amalgamation;Rewriting Logic and Its Applications;2014

5. Behaviour Protection in Modular Rule-Based System Specifications;Recent Trends in Algebraic Development Techniques;2013