Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Graph Transformations

5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Editors: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (Eds.)

  • Fast track conference proceedings

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-15928-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-15927-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.

Table of contents (37 chapters)

  • A False History of True Concurrency: From Petri to Tools

    Esparza, Javier

    Pages 1-2

  • How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

    Brandt, Christoph (et al.)

    Pages 3-26

  • Graph Transformation Units Guided by a SAT Solver

    Kreowski, Hans-Jörg (et al.)

    Pages 27-42

  • Delaying Constraint Solving in Symbolic Graph Transformation

    Orejas, Fernando (et al.)

    Pages 43-58

  • A Dynamic Logic for Termgraph Rewriting

    Balbiani, Philippe (et al.)

    Pages 59-74

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-15928-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-15927-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graph Transformations
Book Subtitle
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
Editors
  • Hartmut Ehrig
  • Arend Rensink
  • Grzegorz Rozenberg
  • Andy Schürr
Series Title
Theoretical Computer Science and General Issues
Series Volume
6372
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-15928-2
DOI
10.1007/978-3-642-15928-2
Softcover ISBN
978-3-642-15927-5
Edition Number
1
Number of Pages
XII, 419
Topics