Electronic Notes in Theoretical Computer Science, Volume 213

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
Electronic Edition (link) BibTeX
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini:
An Efficient Solution for Model Checking Graph Transformation Systems. 3-21
Electronic Edition (link) BibTeX
Harrie Jan Sander Bruggink:
Towards a Systematic Method for Proving Termination of Graph Transformation Systems. 23-38
Electronic Edition (link) BibTeX
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti:
Modelling Dynamic Software Architectures using Typed Graph Grammars. 39-53
Electronic Edition (link) BibTeX
Claudia Ermel, Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. 55-74
Electronic Edition (link) BibTeX
Karl-Heinz Pennemann:
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. 75-94
Electronic Edition (link) BibTeX