Skip to main content
SpringerLink
Log in

Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Leen Lambers

    1. University of Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jens Weber

    1. University of Victoria, Victoria, Canada

    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 10887)

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

Included in the following conference series:

Conference proceedings info: ICGT 2018.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Graph Languages

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars

      • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 3-19

    3. Synchronous Hyperedge Replacement Graph Grammars

      • Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang, Tim Weninger
      Pages 20-36

    4. CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers

      • Barbara König, Maxime Nederkorn, Dennis Nolte
      Pages 37-42

  3. Graph Transformation Formalisms

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Graph Surfing by Reaction Systems

      • Hans-Jörg Kreowski, Grzegorz Rozenberg
      Pages 45-62

    3. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

      • Timothy Atkinson, Detlef Plump, Susan Stepney
      Pages 63-78

    4. Graph-Rewriting Petri Nets

      • Géza Kulcsár, Malte Lochau, Andy Schürr
      Pages 79-96

  4. Parallel Independence and Conflicts

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. On the Essence and Initiality of Conflicts

      • Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
      Pages 99-117

    3. Characterisation of Parallel Independence in AGREE-Rewriting

      • Michael Löwe
      Pages 118-133

    4. Equivalence and Independence in Controlled Graph-Rewriting Processes

      • Géza Kulcsár, Andrea Corradini, Malte Lochau
      Pages 134-151

  5. Graph Conditions and Verification

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Verifying Graph Transformation Systems with Description Logics

      • Jon Haël Brenas, Rachid Echahed, Martin Strecker
      Pages 155-170

    3. OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules

      • Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer
      Pages 171-177

  6. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.​

Editors and Affiliations

  • University of Potsdam, Potsdam, Germany

    Leen Lambers

  • University of Victoria, Victoria, Canada

    Jens Weber

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation