Graph Algebras for Bigraphs

8 years 7 months ago
Graph Algebras for Bigraphs
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with formulas that constrain the possible values that we may assign to these variables. In particular, we will see several advantages of using this new approach. 10:3011:00 Break 11:0012:30 Session on Foundations (Chair: Reiko Heckel) Maarten de Mol and Arend Rensink. A Graph Representation for Ordered Edges. Davide Grohmann and Marino Miculan. Graph Algebras for Bigraphs. Christoph Blume, Sander Bruggink, and Barbara K
Davide Grohmann, Marino Miculan
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Authors Davide Grohmann, Marino Miculan
Comments (0)