Adhesive categories

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

Volumn 2987, Issue , 2004, Pages 273-288

  Lack, Stephen ^a   Sobociński, Pawel ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

ADHESIVE CATEGORIES; DOUBLE-PUSHOUT GRAPH REWRITING; GRAPHICAL STRUCTURES; PUSHOUTS;

COMPUTATION THEORY;

EID: 33847664593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_20     Document Type: Article

References (21)

1. P. Baldan, A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Concurrent semantics of algebraic graph transformations. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 3, chapter 3, pages 107-187. World Scientific, 1999.
2. R. Brown and G. Janelidze. Van Kämpen theorems for categories of covering morphisms in lextensive categories. J. Pure Appl. Algebra, 119:255-263, 1997.
3. A. Carboni, S. Lack, and R. F. C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84(2):145-158, February 1993.
4. L. Cardelli. Bitonal membrane systems. Draft, 2003.
5. A. Corradini, H. Ehrig, R. Heckel, M. Lowe, U. Montanari, and F. Rossi. Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, pages 162-245. World Scientific, 1997.
6. V. Danos and C. Laneve. Graphs for core molecular biology. In International Workshop on Computational Methods in Systems Biology, CMSB '03, 2003.
7. H. Ehrig. Introduction to the algebraic theory of graph grammars. In 1st Int. Workshop on Graph Grammars, Lecture Notes in Computer Science LNCS 73, pages 1-69. Springer Verlag, 1979.
8. . H. Ehrig, G. Engels, H.-J. Krcowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
9. H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-level replacement systems with applications to algebraic specifications and Petri Nets. In H. Ehrig, H.-J. Kreowsky, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 3, chapter 6, pages 341-400. World Scientific, 1999.
10. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From graph grammars to high level replacement systems. In 4th Int. Workshop on Graph Grammars and their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 269-291. Springer Verlag, 1991.
11. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1, 1991.
12. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 1999.
13. H. Ehrig, M. Pfender, and H.J. Schneider. Graph-grammars: an algebraic approach. In IEEE Conf. on Automata and Switching Theory, pages 167-180, 1973.
14. H.-J. Kreowski. Transformations of derivation sequences in graph grammars. In Lecture Notes in Computer Science, volume 56, pages 275-286, 1977.
15. S. Lack and P. Sobociński. Adhesive categories. Technical Report RS-03-31, BRIGS, October 2003.
16. S. Lack and P. Sobociński. Van Kampen squares and adhesive categories. In preparation, 2003.
17. J. Lambek and P. J. Scott. Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics. Cambridge University Press, 1986.
18. R. Milner. Bigraphical reactive systems: Basic theory. Technical Report 523, Computer Laboratory, University of Cambridge, 2001.
19. U. Montanari, M. Pistore, and F. Rossi. Modelling concurrent, mobile and coordinated systems via graph transformations. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 3, chapter 4, pages 189-268. World Scientific, 1999.
20. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
21. V. Sassone and P. Sobocinski. Deriving bisimulation congruences using 2-categories. Nordic Journal of Computing, 10(2):163-183, 2003.