A bi-categorical axiomatisation of concurrent graph rewriting

Electronic Notes in Theoretical Computer Science

Volumn 29, Issue , 1999, Pages 80-100

  Gadducci, Fabio ^a   Heckel, Reiko ^b   Llabrés, Mercé ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF PADERBORN   (Germany)

^c Un of the Balearic Islands   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BI-CATEGORICAL AXIOMATISATION; CONCURRENT GRAPH REWRITING; DOUBLE-PUSHOUT (DPO) GRAPH REWRITING; GRAPH TRANSFORMATION;

COMPUTER SCIENCE; DATA TRANSFER; FUNCTIONS; INTEGRAL EQUATIONS; INTEGRATION; PROBABILITY; PROBLEM SOLVING;

GRAPHIC METHODS;

EID: 18544372400     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80309-3     Document Type: Conference Paper

References (31)

1. Bauderon M., Courcelle B. Graph expressions and graph rewritings. Mathematical Systems Theory. 20:1987;83-127
2. Bénabou J. Introduction to bicategories. Midwest Category Seminar, volume 47 of Lectures Notes in Mathematics. 1967;1-77 Springer Verlag
3. D.B. Benson. The basic algebraic structures in categories of derivations.
4. Carboni A., Kasangian S., Street R.H. Bicategories of spans and relations. Journal of Pure and Applied Algebra. 33:1984;259-267
5. Carboni A., Walters R.F.C. Cartesian bicategories I. Journal of Pure and Applied Algebra. 49:1987;11-32
6. Corradini A., Ehrig H., Löwe M., Montanari U., Rossi F. Abstract graph derivations in the double-pushout approach. Schneider H.-J., Ehrig H. Graph Transformations in Computer Science, volume 776 of LNCS. 1994;86-103 Springer Verlag
7. Corradini A., Gadducci F. A 2-categorical presentation of term graph rewriting. Moggi E., Rosolini G. Category Theory and Computer Science, volume 1290 of LNCS. 1997;87-105 Springer Verlag
8. Corradini A., Gadducci F. Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Informatique Théorique et Applications/Theoretical Informatics and Applications. 1999;. To appear
9. Corradini A., Gadducci F., Montanari U. Relating two categorical models of term rewriting. Hsiang J. Rewriting Techniques and Applications, volume 914 of LNCS. 1995;225-240 Springer Verlag
10. Corradini A., Montanari U. An algebraic semantics for structured transition systems and its application to logic programs. Theoret. Comput. Sci. 103:1992;51-106
11. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., Löwe M. Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. 1997;World Scientific
12. Day B., Street R.H. Monoidal bicategories and Hopf algebroids. Advances in Mathematics. 129:1997;99-157
13. Ehrig H. Introduction to the algebraic theory of graph grammars. Claus V., Ehrig H., Rozenberg G. Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS. 1979;1-69 Springer Verlag
14. Ehrig H., Kreowski H.-J. Categorical approach to graphic systems and graph grammars. Algebraic System Theory, volume 131 of Lecture Notes in Economics and Mathematical Systems. 1975;323-351 Springer Verlag
15. Ehrig H., Pfender M., Schneider H.J. Graph-grammars: an algebraic approach. Book R.V. Switching and Automata Theory. 1973;167-180 IEEE Computer Society Press
16. Gadducci F., Heckel R. An inductive view of graph transformation. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. 1998;219-233 Springer Verlag
17. Gordon R., Power A.J., Street R.H. Coherence for Tricategories. volume 158 of Memoirs of the American Mathematical Society. 1995;American Mathematical Society
18. Hasegawa M. Models of Sharing Graphs. PhD thesis, University of Edinburgh. 1997
19. Heckel R. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, Technische Universität Berlins. 1998
20. Katis P., Sabadini N., Walters R.F.C. Bicategories of processes. Journal of Pure and Applied Algebra. 115:1997;141-178
21. Katis P., Sabadini N., Walters R.F.C. SPAN(Graph): A categorical algebra of transition systems. Johnson M. Algebraic Methodology and Software Technology, volume 1349 of LNCS. 1997;307-321 Springer Verlag
22. Kelly G.M., Street R.H. Review of the elements of 2-categories. Kelly G.M. Sydney Category Seminar, volume 420 of Lecture Notes in Mathematics. 1974;75-103 Springer Verlag
23. Kreowski H.-J. Manipulation von Graphmanipulationen. PhD thesis, Technische Universität Berlin. 1977
24. T. Leinster. Basic bicategories. Available at http://can.dpmms.cam.ac.uk/ ~leinster/, 1998.
25. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci. 96:1992;73-155
26. Meseguer J., Montanari U. Petri nets are monoids. Information and Computation. 88:1990;105-155
27. Power A.J. An abstract formulation for rewrite systems. Pitt D.H., Rydehard D.E., Dybjer P., Pitts A.M., Poigné A. Category Theory and Computer Science, volume 389 of LNCS. 1989;300-312 Springer Verlag
28. Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. 1997;World Scientific
29. Rydehard D.E., Stell E.G. Foundations of equational deductions: A categorical treatment of equational proofs and unification algorithms. Pitt D.H., Poigne A., Rydehard D.E. Category Theory and Computer Science, volume 283 of LNCS. 1987;114-139 Springer Verlag
30. Stell J.G. Categorical Aspects of Unification and Rewriting. PhD thesis, University of Manchester. 1992
31. Street R.H. Categorical structures. Hazewinkel M. Handbook of Algebra. 1996;529-577 Elsevier