Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

  • Reiko Heckel
  • Gabriele Taentzer

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa et al.
    Pages 1-18
  3. Annegret Habel, Christian Sandmann, Tilman Teusch
    Pages 19-36
  4. Alexander Knapp, Till Mossakowski
    Pages 37-60
  5. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
    Pages 61-82
  6. Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
    Pages 83-104
  7. Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
    Pages 105-123
  8. Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
    Pages 124-141
  9. Michael Löwe
    Pages 142-159
  10. Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
    Pages 160-178
  11. Ugo Montanari, Matteo Sammartino, Alain Tcheukam
    Pages 179-200
  12. Julia Padberg, Laid Kahloul
    Pages 201-222
  13. John L. Pfaltz
    Pages 223-230
  14. Detlef Plump
    Pages 231-244
  15. Harmen Kastenberg, Arend Rensink
    Pages 245-265
  16. Donald Sannella, Andrzej Tarlecki
    Pages 266-284
  17. Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
    Pages 285-312
  18. Uwe Wolter, Zinovy Diskin, Harald König
    Pages 313-331
  19. Back Matter
    Pages 333-333

About this book

Introduction

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.

The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.

These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Keywords

Models of computation Concurrency Abstract data types Specification languages Graph Transformation Graph Grammars Petri nets Algebraic Specification Category Theory Model-driven software engineering Formal verification graph theory semantics petri nets programming language graph transformation software engineering specifications artificial intelligence

Editors and affiliations

  • Reiko Heckel
    • 1
  • Gabriele Taentzer
    • 2
  1. 1.Department of InformaticsUniversity of LeicesterLeicesterUnited Kingdom
  2. 2.Fachbereich Mathematik und InformatikPhilipps-Universität MarburgMarburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-75396-6
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-75395-9
  • Online ISBN 978-3-319-75396-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Aerospace
Consumer Packaged Goods