An inductive view of graph transformation

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

Volumn 1376, Issue , 1998, Pages 223-237

  Gadducci, F ^a   Heckel, R ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957891900     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_36     Document Type: Conference Paper

References (35)

1. M. Bauderon and B. Courcelle. Graph expressions and graph rewritings. Mathematical Systems Theory, 20:83-127, 1987.
2. S. Bloom and Z. Èsik. Iteration Theories. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1993.
3. S. Bloom and Z. Èsik. Solving polinomials fixed point equations. In Mathematical Foundations of Computer Science, volume 841 of LNCS, pages 52-67. Springer Verlag, 1994.
4. S.L. Bloom, Z. Èsik, A. Labella, and E.G. Manes. Iteration 2-theories. In Proceedings AMAST'97, 1997. To appear.
5. A. Carboni and R.F.C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11-32, 1987.
6. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Abstract Graph Derivations in the Double-Pushout Approach. In H.-J. Schneider and H. Ehrig, editors, Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS, pages 86-103. Springer Verlag, 1994.
7. A. Corradini and F. Gadducci. A 2-categorical presentation of term graph rewriting. In Proceedings CTCS'97, volume 1290 of LNCS. Springer Verlag, 1997.
8. A. Corradini and F. Gadducci. Rewriting cyclic structures, draft, 1997.
9. A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gsmonoidal categories. Applied Categorical Structures, 1998. To appear. Available at http://www.di.unipi.it/~gadducci/papers/aptg.ps.
10. A. Corradini and F. Gadducci. Rational term rewriting. In M. Nivat, editor, Proceedings FoSSaCS'98, LNCS. Springer Verlag, 1998. To appear.
11. A. Corradini, F. Gadducci, and U. Montanari. Relating two categorical models of term rewriting. In Rewriting Tecniques and Applications, volume 914 of LNCS, pages 225-240. Springer Verlag, 1995.
12. A. Corradini and U. Montanari. An Algebra of Graphs and Graph Rewriting. In Proceedings of the 4th Summer Conference on Category Theory and Computer Science (CTCS '91), volume 530 of LNCS, pages 236-260. Springer Verlag, 1991.
13. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 1997.
14. H. Ehrig, P. Boehm, U. Hummert, and M. LSwe. Distributed parallelism of graph transformation. In 13th Int. Workshop on Graph Theoretic Concepts in Computer Science, volume 314 of LNCS, pages 1-19. Springer Verlag, 1988.
15. H. Ehrig, M. Pfender, and H.J. Schneider. Graph-grammars: an algebraic approach. In Proceedings IEEE Conf. on Automata and Switching Theory, pages 167-180, 1973.
16. A. Habel. Hyperedge replacement: Grammars and languages, volume 643 of LNCS. Springer Verlag, 1992.
17. U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specification, volume 1130 of LNCS, pages 237-255. Springer Verlag, 1995.
18. H.-J. Hoenke. On partial recursive definitions and programs. 14 International Conference on Fundamentals of Computations Theory, volume 56 of LNCS, pages 260-274. Springer Verlag, 1977.
19. B. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73-106, 1994.
20. A. Joyal, R. Street, and D. Verity. Traced Monoidal Category. Mathematical Proceedings of the Cambridge Philosophical Society, 119:425-446, 1996.
21. P. Katis, N. Sabadini, and R.F.C. Walters. Bicategories of processes. Journal of Pure and Applied Algebra, 115:141-178, 1997.
22. P. Katis, N. Sabadini, and R.F.C. Walters. Span(graph): A categorical algebra of transition systems, to appear Proceedings AMAST'97, 1997.
23. G.M. Kelly and R.H. Street. Review of the elements of 2-categories. In G.M. Kelly, editor, Proceedings of the Sydney Category Seminar, volume 420 of Lecture Notes in Mathematics, pages 75-103. Springer Verlag, 1974.
24. J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 1, pages 1-116. Oxford University Press, 1992.
25. Y. Lafont. Equational reasoning with 2-dimensional diagrams. In Term Rewriting, French Spring School of Theoretical Computer Science, volume 909 of LNCS, pages 170-195. Springer Verlag, 1995.
26. F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Science, 50:869-872, 1963.
27. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
28. A.J. Power. An abstract formulation for rewrite systems. In Proceedings Category Theory in Computer Science, volume 389 of LNCS, pages 300-312. Springer Verlag, 1989.
29. J. Power. A 2-categorical parsing theorem. Journal of Algebra, 129:439-445, 1990.
30. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 1997.
31. D.E. Rydehard and E.G. Stell. Foundations of equational deductions: A categorical treatment of equational proofs and unification algorithms. In Proceedings Category Theory in Computer Science, volume 283 of LNCS, pages 114-139. Springer Verlag, 1987.
32. G. Stefanescu. On flowchart theories: Part II. The nondeterministic case. Theoret. Comput. Sci., 52:307-340, 1987.
33. G. Stefanescu. Algebra of flownomials. Technical Report SFB-Bericht 342/16/94 A, Technical University of München, Institut für Informatik, 1994.
34. J.G. Stell. Categorical Aspects of Unification and Rewriting. PhD thesis, University of Mazlchester, 1992.
35. R. Street. Categorical structures. In M. Hazewinkel, editor, Handbook Of Algebra, pages 529-577. Elsevier, 1996.