Advertisement

Graph Transformation

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

  • Leen Lambers
  • Jens Weber
Conference proceedings ICGT 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10887)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Graph Languages

    1. Front Matter
      Pages 1-1
    2. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 3-19
    3. Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang, Tim Weninger
      Pages 20-36
    4. Barbara König, Maxime Nederkorn, Dennis Nolte
      Pages 37-42
  3. Graph Transformation Formalisms

    1. Front Matter
      Pages 43-43
    2. Hans-Jörg Kreowski, Grzegorz Rozenberg
      Pages 45-62
    3. Timothy Atkinson, Detlef Plump, Susan Stepney
      Pages 63-78
    4. Géza Kulcsár, Malte Lochau, Andy Schürr
      Pages 79-96
  4. Parallel Independence and Conflicts

    1. Front Matter
      Pages 97-97
    2. Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
      Pages 99-117
    3. Géza Kulcsár, Andrea Corradini, Malte Lochau
      Pages 134-151
  5. Graph Conditions and Verification

    1. Front Matter
      Pages 153-153
    2. Jon Haël Brenas, Rachid Echahed, Martin Strecker
      Pages 155-170
  6. Back Matter
    Pages 179-179

About these proceedings

Introduction

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

Keywords

Mathematics of computing Graph theory Theory of computation Algebraic language theory Theory of computation Rewrite systems semantics graph theory programming languages artificial intelligence graph transformation software engineering specifications formal logic

Editors and affiliations

  1. 1.University of PotsdamPotsdamGermany
  2. 2.University of VictoriaVictoriaCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-92991-0
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-92990-3
  • Online ISBN 978-3-319-92991-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site