A Rewriting Calculus for Multigraphs with Ports

Electronic Notes in Theoretical Computer Science

Volumn 219, Issue C, 2008, Pages 67-82

  Andrei, Oana ^a   Kirchner, Hélène ^a  

^a LORIA   (France)

Author keywords

multigraph rewriting; Multigraphs with ports; rewriting calculus; term rewriting

Indexed keywords

COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; MATHEMATICAL TECHNIQUES; PORTS AND HARBORS;

CONNECTION POINTS; DYNAMIC EVOLUTIONS; GRAPH MODELS; MULTIGRAPH REWRITING; MULTIGRAPHS; MULTIGRAPHS WITH PORTS; OPERATIONAL SEMANTICS; PATTERN CALCULUSES; REWRITE RULES; REWRITING CALCULUS; REWRITING CALCULUSES; TERM REWRITING;

CALCULATIONS;

EID: 56049123458     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.10.035     Document Type: Article

References (18)

1. Andrei O., Ibanescu L., and Kirchner H. Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. In: Futatsugi K., Jouannaud J.-P., and Meseguer J. (Eds). Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. LNCS 4060 (2006) 194-215
2. Andrei O., and Kirchner H. A Rewriting Calculus for Labeled Multigraphs with Ports. Long version available at. http://hal.inria.fr/inria-00139363/en/
3. Andrei, O. and H. Kirchner, Rewrite Rules and Strategies for Molecular Graphs, Submitted, May 2007
4. Baader F., and Nipkow T. Term Rewriting and All That (1998), Cambridge University Press
5. Balland, E. and P. Brauner, Term-graph rewriting in Tom using relative positions, in: Pre-proceedings of 4th International Workshop on Computing with Terms and Graphs - TERMGRAPH, 2007
6. Balland, E., P. Brauner, R. Kopetz, P.-E. Moreau and A. Reilles, Tom: Piggybacking Rewriting on Java, in: To appear in Proceedings of RTA, 2007
7. Blinov M.L., Yang J., Faeder J.R., and Hlavacek W.S. Graph theory for rule-based modeling of biochemical networks. In: Priami C., Ingólfsdóttir A., Mishra B., and Nielson H.R. (Eds). T. Comp. Sys. Biology VII. LNCS 4230 (2006) 89-106
8. Bournez O., Ibanescu L., and Kirchner H. From Chemical Rules to Term Rewriting. ENTCS 147 (2006) 113-134
9. Brandes U., Eiglsperger M., Herman I., Himsolt M., and Marshall M.S. GraphML Progress Report: Structural Layer Proposal. Graph Drawing. LNCS 2265 (2002) 501-512
10. Cirstea H., and Kirchner C. The rewriting calculus - Part I and II. Logic Journal of the IGPL 9 (2001) 427-498
11. Cirstea H., Kirchner C., Liquori L., and Wack B. Rewrite strategies in the rewriting calculus. ENTCS 86 (2003) 593-624
12. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., and Löwe M. Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (1997), World Scientific 163-246
13. Danos V., and Laneve C. Formal molecular biology. TCS 325 (2004) 69-110
14. Goguen J.A., and Meseguer J. Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. TCS 105 (1992) 217-273
15. Kirchner C., and Kirchner H. Rewriting, Solving, Proving. Available at. http://www.loria.fr/~ckirchne/=rsp/rsp.pdf
16. Kirchner H., and Moreau P.-E. Promoting rewriting to a programming language: a compiler for nondeterministic rewrite programs in associative-commutative theories. J. Funct. Program. 11 (2001) 207-251
17. Milner R. Bigraphical Reactive Systems. In: Larsen K.G., and Nielsen M. (Eds). CONCUR'01. LNCS 2154 (2001) 16-35
18. Schürr A. Programmed Graph Replacement Systems. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (1997), World Scientific 479-546