Encoding Bigraphical Reactive Systems into Graph Transformation Systems
暂无分享,去创建一个
Mohamed Jmaiel | Khalil Drira | Ismael Bouassida Rodriguez | Amal Gassara | K. Drira | M. Jmaiel | Amal Gassara | I. Rodriguez
[1] Hartmut Ehrig,et al. Bigraphs meet Double Pushouts , 2002, Bull. EATCS.
[2] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .
[3] Eric S. Lander,et al. AN ALGEBRAIC APPROACH , 1983 .
[4] Fabio Gadducci,et al. An inductive view of graph transformation , 1997, WADT.
[5] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.
[6] Robin Milner,et al. The Space and Motion of Communicating Agents , 2009 .