Graph Transformations

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

By: Hartmut Ehrig (Editor), Arend Rensink (Editor), Grzegorz Rozenberg (Editor)

Write A Review

Paperback | 27 September 2010

At a Glance

Paperback
432 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$119.90

or 4 interest-free payments of $29.98 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Combinatorics & Graph Theory Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Algorithms & Data Structures Software Engineering Discrete Mathematics Mathematical Foundation Mathematical Logic Computer Science

Computer Architecture & Logic Design Graphical & Digital Media Applications 3D Graphics & Modelling Mathematical Theory of Computation Maths for Computer Scientists Databases

Invited Speakers
A False History of True Concurrency: From Petri to Tools (Abstract)	p. 1
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?	p. 3
Graphs and Logic
Graph Transformation Units Guided by a SAT Solver	p. 27
Delaying Constraint Solving in Symbolic Graph Transformation	p. 43
A Dynamic Logic for Termgraph Rewriting	p. 59
Behavioural Analysis
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes	p. 75
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars	p. 91
Verification of Graph Transformation Systems with Context-Free Specifications	p. 107
Saturated LTSs for Adhesive Rewriting Systems	p. 123
A Hoare Calculus for Graph Programs	p. 139
Models and Model Transformation
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars	p. 155
Conflict Detection for Model Versioning Based on Graph Modifications	p. 171
A Component Concept for Typed Graphs with Inheritance and Containment Structures	p. 187
Combining Termination Criteria by Isolating Deletion	p. 203
Algebraic Foundations
Graph Rewriting in Span-Categories	p. 218
Finitary M-Adhesive Categories	p. 234
Hereditary Pushouts Reconsidered	p. 250
Applications
Graph Transformation for Domain-Specific Discrete Event Time Simulation	p. 266
Counterpart Semantics for a Second-Order -Calculus	p. 282
Declarative Mesh Subdivision Using Topological Rewriting in MGS	p. 298
A Model for Distribution and Revocation of Certificates	p. 314
Rule Composition
Local Confluence for Rules with Nested Application Conditions	p. 330
Multi-Amalgamation in Adhesive Categories	p. 346
Amalgamating Pushout and Pullback Graph Transformation in Collagories	p. 362
Doctoral Symposium
ICGT 2010 Doctoral Symposium (Introduction)	p. 379
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment	p. 381
Recognizable Graph Languages for the Verification of Dynamic Systems	p. 384
Stochastic Modelling and Simulation of Dynamic Resource Allocation	p. 388
Bisimulation Theory for Graph Transformation Systems	p. 391
Realizing Impure Functions in Interaction Nets	p. 394
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures	p. 397
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems	p. 400
LTS Semantics for Process Calculi from Their Graphical Encodings	p. 403
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems	p. 407
Correct of Graph Programs Relative to HR⁺ Conditions	p. 410
Static Type Checking of Model Transformation Programs	p. 413
Using Graph Transformations and Graph Abstractions for Software Verification	p. 416
Author Index	p. 419
Table of Contents provided by Ingram. All Rights Reserved.

Graph Transformations

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Creative Machines

AI, Art & Us

Collecting Social Media in Museums

1st Edition

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

AI in Popular Culture

Precarious Creativity in the Generative AI Era

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Generative Artificial Intelligence

Technology and Applications

Artificial Intelligence for Legal System

Jurisprudence in the Digital Age

Governance, Risk and Compliance

Demystifying the Risk and Data Privacy Landscape

Generative AI and Generative AI of Things for Sustainable Smart Cities

Pioneering Environmental Innovations, Climate Solutions, and Infrastructural Transformations

Augmented Reality and Sustainability

Goals and Challenges

Music Production Pedagogy

Perspectives on Innovation in Music Production Education

Music Production Pedagogy

Perspectives on Innovation in Music Production Education

Advanced Hydraulic Engineering

Applications and Optimization

Realistic and Ethical Use of Artificial Intelligence

Perspectives of Future Learning

AI through the Lens of Educators

Generative AI and Generative AI of Things for Sustainable Smart Cities

Pioneering Environmental Innovations, Climate Solutions, and Infrastructural Transformations

This product is categorised by