Skip to main content
  • Conference proceedings
  • © 2021

Graph Transformation

14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings

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

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 2021.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78946-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

    Pages i-xii
  2. Theoretical Advances

    1. Front Matter

      Pages 1-1
    2. Concurrency Theorems for Non-linear Rewriting Theories

      • Nicolas Behr, Russ Harmer, Jean Krivine
      Pages 3-21
    3. Graph Rewriting and Relabeling with PBPO $$^{+}$$ +

      • Roy Overbeek, Jörg Endrullis, Aloïs Rosset
      Pages 60-80
    4. Incorrectness Logic for Graph Programs

      • Christopher M. Poskitt
      Pages 81-101
    5. Evaluation Diversity for Graph Conditions

      • Sven Schneider, Leen Lambers
      Pages 122-141
  3. Application Domains

    1. Front Matter

      Pages 143-143
    2. Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching

      • Matthias Barkowsky, Holger Giese
      Pages 145-163
    3. Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 164-184
    4. Nets with Mana: A Framework for Chemical Reaction Modelling

      • Fabrizio Genovese, Fosco Loregian, Daniele Palombi
      Pages 185-202
    5. Interval Probabilistic Timed Graph Transformation Systems

      • Maria Maximova, Sven Schneider, Holger Giese
      Pages 221-239
    6. Verifying Graph Programs with Monadic Second-Order Logic

      • Gia S. Wulandari, Detlef Plump
      Pages 240-261
    7. On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems

      • Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese
      Pages 262-279
  4. Tool Presentations

    1. Front Matter

      Pages 281-281
    2. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

      • Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte
      Pages 283-293

Other Volumes

  1. Graph Transformation

    14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021.

The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.


Keywords

  • approximation theory
  • formal languages
  • formal languages and automata theory
  • graph theory
  • graph transformation
  • graphic methods
  • logic
  • mathematical transformations
  • modeling and simulation
  • models of computation
  • petri nets
  • polynomial approximation
  • semantics and reasoning
  • software engineering
  • software notations and tools
  • software organisation and properties
  • symbolic and algebraic manipulation

Editors and Affiliations

  • Università di Pisa, Pisa, Italy

    Fabio Gadducci

  • Humboldt-Universität zu Berlin, Berlin, Germany

    Timo Kehrer

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78946-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)