GT-VC 2006
Graph Transformation for Verification and Concurrency

Accepted Papers

• Lars Birkedal, Troels Damgaard, Arne Glenstrup and Robin Milner. Matching of Bigraphs
• László Gönczy and Dániel Varró. Modeling and Verification of Reliable Messaging by Graph Transformation Systems
• Georgios Lajios and Piotr Kosiuczenko. Stochastic Graph Transformation Systems with General Distributions
• Tihamer Levendovszky, Ulrike Prange and Hartmut Ehrig. Termination Criteria for DPO Transformations with Injective Matches
• Ana Paula Lüdtke Ferreira, Leila Ribeiro and Luciana Foss. Formal Verification of Object-Oriented Graph Grammars Specifications

• Claudia Faggian and Mauro Piccolo. A graph abstract machine describing event structure composition
• Tobias Heindel and Filippo Bonchi. Adhesive DPO Parallelism for monic matches
• Vitali Kozioura. Verification of Random Graph Transformation Systems