Graph transformation [electronic resource] : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Francesco Parisi-Presicce, Bernhard Westfechtel (eds.).
ICGT (Conference) (8th : 2015 : L'Aquila, Italy); Parisi Presicce, Francesco, editor.; Westfechtel, Bernhard, editor.; STAF (Federation of conferences) (2015 : L'Aquila, Italy)
2015
QA166 .I34 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Graph transformation [electronic resource] : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Francesco Parisi-Presicce, Bernhard Westfechtel (eds.).
Meeting Name ICGT (Conference) (8th : 2015 : L'Aquila, Italy)
ISBN 9783319211459 electronic book
3319211455 electronic book
9783319211442
DOI https://doi.org/10.1007/978-3-319-21145-9
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xiv, 283 pages) : illustrations.
Item Number 10.1007/978-3-319-21145-9 doi
Call Number QA166 .I34 2015eb
Dewey Decimal Classification 511/.5
Summary This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
Added Author Parisi Presicce, Francesco, editor.
Westfechtel, Bernhard, editor.
Added Meeting Name STAF (Federation of conferences) (2015 : L'Aquila, Italy)
Series Lecture notes in computer science ; 9151.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Polymorphic Sesqui-Pushout Graph Rewriting
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
AGREE
Algebraic Graph Rewriting with Controlled Embedding
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Multi-amalgamated Triple Graph Grammars
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
Reachability in Graph Transformation Systems and Slice Languages
Equational Reasoning with Context-Free Families of String Diagrams
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems
Graph Pattern Matching as an Embedded Clojure DSL
Using Graph Transformations for Formalizing Prescriptions and Monitoring
Towards Compliance Verification Between Global and Local Process Models
Inductive Invariant Checking with Partial Negative Application Conditions
Tool Support for Multi-amalgamated Triple Graph Grammars
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
Local Search-Based Pattern Matching Features in EMF-INCQUERY.

Browse Subjects

Show more subjects...

Statistics

from
to
Export