Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Graph Transformations

4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Editors:

  1. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reiko Heckel

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Gabriele Taentzer

    1. Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2008.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (52 papers)

  1. Front Matter

    PDF

  3. Hypergraphs and Termgraph Rewriting

    1. An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars

      • Steffen Mazanek, Sonja Maier, Mark Minas
      Pages 39-53

    2. Labelled (Hyper)Graphs, Negotiations and the Naming Problem

      • Jérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier
      Pages 54-68

    3. Abstracting Complex Data Structures by Hyperedge Replacement

      • Stefan Rieger, Thomas Noll
      Pages 69-83

  4. Applications of Graph Transformation

    1. Mobile Agents Implementing Local Computations in Graphs

      • Bilel Derbel, Mohamed Mosbah, Stefan Gruner
      Pages 99-114

    2. A Decentralized Implementation of Mobile Ambients

      • Fabio Gadducci, Giacoma Valentina Monreale
      Pages 115-130

    3. Network Applications of Graph Bisimulation

      • Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
      Pages 131-146

    4. Graph Transformation for Topology Modelling

      • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
      Pages 147-161

  5. Execution of Graph Transformations

    1. Embedding and Confluence of Graph Transformations with Negative Application Conditions

      • Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
      Pages 162-177

    4. High-Level Programs and Program Conditions

      • Karl Azab, Annegret Habel
      Pages 211-225

  6. Compositional Systems

    1. Parallel and Sequential Independence for Borrowed Contexts

      • Filippo Bonchi, Fabio Gadducci, Tobias Heindel
      Pages 226-241

    2. Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

      • Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
      Pages 242-256

    3. Open Petri Nets: Non-deterministic Processes and Compositionality

      • Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
      Pages 257-273

  7. Validation and Verification

    1. Attributed Graph Constraints

      • Fernando Orejas
      Pages 274-288
Back to top

Other Volumes

  1. Graph Transformations

Back to top

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • Department of Computer Science, University of Leicester, Leicester, UK

    Reiko Heckel

  • Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    Gabriele Taentzer

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation