1 | -- | 2 | Arend Rensink, Reiko Heckel, Barbara König. Preface |
3 | -- | 19 | Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner. Matching of Bigraphs |
21 | -- | 36 | Claudia Faggian, Mauro Piccolo. A Graph Abstract Machine Describing Event Structure Composition |
37 | -- | 50 | László Gönczy, Máté Kovács, Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems |
51 | -- | 61 | Filippo Bonchi, Tobias Heindel. Adhesive DPO Parallelism for Monic Matches |
63 | -- | 72 | Vitali Kozioura. Verification of Random Graph Transformation Systems |
73 | -- | 86 | Piotr Kosiuczenko, Georgios Lajios. Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems |
87 | -- | 100 | Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig. Termination Criteria for DPO Transformations with Injective Matches |
101 | -- | 114 | Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro. Formal Verification of Object-Oriented Graph Grammars Specifications |