Spatial and temporal refinement of typed graph transformation systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1450 LNCS, Issue , 1998, Pages 553-561

  Große Rhode, Martin ^a   Parisi Presicce, Francesco ^b   Simeoni, Marta ^b  

^a UNIVERSITY OF PISA   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

METALS;

DISTRIBUTED SYSTEMS; FORMAL MODEL; GRAPH TRANSFORMATION RULES; GRAPH TRANSFORMATION SYSTEM; GRAPHICAL STRUCTURES;

GRAPH THEORY;

EID: 84896779892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055805     Document Type: Conference Paper

References (13)

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.
6. H. Ehrig. Introduction to the algebraic theory of graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, 1st Graph Grammar Workshop Springer LNCS 73, pages 1-69. 1979.
7. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Volume 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1990.
8. M. Größe-Rhode, F. Parisi-Presicce, and M. Simeoni. Concrete spatial refinement constructions for graph transformation systems. Technical Report 97-10, Università di Roma La Sapienza, 1997.
9. M. Größe-Rhode, F. Parisi-Presicce, and M. Simeoni. Spatial and temporal refinement of typed graph transformation systems. Technical Report 97-11, Università di Roma La Sapienza, 1997.
10. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. MSCS, pages 1-35, 1996.
11. F. Parisi-Presicce. Transformation of graph grammars. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, Springer LNCS 1073, 1996.
12. L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.
13. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific Publishing, 1997.