Graph transformation : 13th International Conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Graph transformation : 13th International Conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings / Fabio Gadducci, Timo Kehrer (eds.).

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

Full description

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Graph Transformation Online, STAF (Federation of conferences)
Other Authors: Gadducci, Fabio, Kehrer, Timo
Format: eBook
Language:English
Published: Cham : Springer, 2020.
Series:Lecture notes in computer science ; 12150.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Graph theory > Data processing > Congresses.
Computer science > Congresses.
Graph theory > Data processing
Computer science
Algorithms
Computer programming
Computer science > Mathematics
Data structures (Computer science)
Programming languages (Electronic computers)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • Theoretical Advances
  • Conditional Bigraphs
  • Confluence up to Garbage
  • Computing embeddings of directed bigraphs
  • A Categorical Semantics for Guarded Petri Nets
  • Unfolding Symbolic Attributed Graph Grammars
  • Single Pushout Rewriting in Comprehensive Systems
  • Initial Conflicts for Transformation Rules with Nested Application Conditions
  • Patch Graph Rewriting
  • Hypergraph basic categorial grammars
  • Multilevel Typed Graph Transformations
  • Application Domains
  • Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics
  • Algebras for tree decomposable graphs
  • Graph Parsing as Graph Transformation
  • Correctness of Predictive Top-Down Parsers
  • Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
  • Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
  • Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic
  • Tool Presentations
  • A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
  • Multiscale graph grammars can generate Cayley graphs of groups and monoids
  • The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
  • A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.

Similar Items