Graph Transformations

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

  • Hartmut Ehrig
  • Gregor Engels
  • Hans-Jörg Kreowski
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7562)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Antónia Lopes, José Luiz Fiadeiro
      Pages 1-19
    2. Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
      Pages 20-37
    3. Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter et al.
      Pages 38-50
  3. Foundations 1: Behavioral Analysis

    1. Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 51-65
    2. Arend Rensink, Eduardo Zambon
      Pages 66-80
  4. Foundations 2: High-Level Graph Transformation

    1. Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
      Pages 96-110
    2. Michael Löwe
      Pages 111-125
    3. Fernando Orejas, Artur Boronat, Nikos Mylonakis
      Pages 126-140
  5. Foundations 3: Revisited Approaches

    1. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
      Pages 141-155
    2. Dominique Duval, Rachid Echahed, Frédéric Prost
      Pages 156-171
    3. Takahito Aoto, Jeroen Ketema
      Pages 172-186
  6. Foundations 4: General Transformation Models

  7. Foundations 5: Structuring and Verification

    1. Amir Hossein Ghamarian, Arend Rensink
      Pages 234-248
    2. Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König
      Pages 264-278
  8. Applications 1: Graph Transformations in Use

    1. Tamim Ahmed Khan, Olga Runge, Reiko Heckel
      Pages 279-293

About these proceedings

Introduction

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Keywords

approximated verification bisimilarity concurrency graph theory parallelism

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Gregor Engels
    • 2
  • Hans-Jörg Kreowski
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Technical University of BerlinBerlinGermany
  2. 2.University of PaderbornPaderbornGermany
  3. 3.Department of Computer ScienceUniversity of BremenBremenGermany
  4. 4.Leiden Center for Natural ComputingLeiden University, LCNC - LIACSLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33654-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33653-9
  • Online ISBN 978-3-642-33654-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book