A compositional approach to structuring and refinement of typed graph grammars
暂无分享,去创建一个
[1] Michael Löwe,et al. Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..
[2] Hartmut Ehrig,et al. The Category of Typed Graph Grammars and its Adjunctions with Categories , 1994, TAGT.
[3] Hartmut Ehrig,et al. Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.
[4] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[5] Francesca Rossi,et al. Graph Processes , 1996, Fundam. Informaticae.
[6] Joseph A. Goguen,et al. A categorical manifesto , 1989, Mathematical Structures in Computer Science.