Volume 213, Number 1, May 2008

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007)

• 
  Barbara König, Arend Rensink, Reiko Heckel: Preface. 1-2
• 
  Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini: An Efficient Solution for Model Checking Graph Transformation Systems. 3-21
• 
  Harrie Jan Sander Bruggink: Towards a Systematic Method for Proving Termination of Graph Transformation Systems. 23-38
• 
  Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti: Modelling Dynamic Software Architectures using Typed Graph Grammars. 39-53
• 
  Claudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. 55-74
• 
  Karl-Heinz Pennemann: An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. 75-94