Skip to main content
SpringerLink
Log in
Book cover

Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Fabio Gadducci

    1. Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Timo Kehrer

    1. Humboldt-Universität zu Berlin, Berlin, 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 12150)

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

Included in the following conference series:

Conference proceedings info: ICGT 2020.

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 (20 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Theoretical Advances

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Conditional Bigraphs

      • Blair Archibald, Muffy Calder, Michele Sevegnani
      Pages 3-19

    3. Confluence up to Garbage

      • Graham Campbell, Detlef Plump
      Pages 20-37

    4. Computing Embeddings of Directed Bigraphs

      • Alessio Chiapperini, Marino Miculan, Marco Peressotti
      Pages 38-56

    5. A Categorical Semantics for Guarded Petri Nets

      • Fabrizio Genovese, David I. Spivak
      Pages 57-74

    6. Unfolding Symbolic Attributed Graph Grammars

      • Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
      Pages 75-90

    7. Single Pushout Rewriting in Comprehensive Systems

      • Harald König, Patrick Stünkel
      Pages 91-108

    8. Initial Conflicts for Transformation Rules with Nested Application Conditions

      • Leen Lambers, Fernando Orejas
      Pages 109-127

    9. Patch Graph Rewriting

      • Roy Overbeek, Jörg Endrullis
      Pages 128-145

    10. Hypergraph Basic Categorial Grammars

      • Tikhon Pshenitsyn
      Pages 146-162

    11. Multilevel Typed Graph Transformations

      • Uwe Wolter, Fernando Macías, Adrian Rutle
      Pages 163-182

  3. Application Domains

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

      • Nicolas Behr, Jean Krivine
      Pages 185-202

    3. Algebras for Tree Decomposable Graphs

      • Roberto Bruni, Ugo Montanari, Matteo Sammartino
      Pages 203-220

    4. Graph Parsing as Graph Transformation

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 221-238

    5. Graph Consistency as a Graduated Property

      • Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler
      Pages 239-256

    6. Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

      • Sven Schneider, Johannes Dyck, Holger Giese
      Pages 257-275

    7. Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

      • Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
      Pages 276-294

  4. Tool Presentations

    1. Front Matter

      Pages 295-295
      Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*

The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.

*The conference was held virtually due to the COVID-19 pandemic.

Editors and Affiliations

  • Università di Pisa, Pisa, Italy

    Fabio Gadducci

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

    Timo Kehrer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation