Path-controlled graph grammars for multiresolution image processing and analysis.- Syntax and semantics of hybrid database languages.- Decomposability helps for deciding logics of knowledge and belief.- Extending graph rewriting with copying.- Graph-grammar semantics of a higher-order programming language for distributed systems.- Abstract graph derivations in the double pushout approach.- Note on standard representation of graphs and graph derivations.- Jungle rewriting: An abstract description of a lazy narrowing machine.- Recognizable sets of graphs of bounded tree-width.- Canonical derivations for high-level replacement systems.- A computational model for generic graph functions.- Graphs and designing.- ESM systems and the composition of their computations.- Relational structures and their partial morphisms in view of single pushout rewriting.- Single pushout transformations of equationally defined graph structures with applications to actor systems.- Parallelism in single-pushout graph rewriting.- Semantics of full statecharts based on graph rewriting.- Contextual occurrence nets and concurrent constraint programming.- Uniform-modelling in graph grammar specifications.- Set-theoretic graph rewriting.- On relating rewriting systems and graph grammars to event structures.- Logic based structure rewriting systems.- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs.- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com