This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004. The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.
Genre: Computers, Editor: Springer Science & Business Media, Pages: 450 in PDF, Epub, Mobi, ISBN: 9783540232070

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.
Genre: Computers, Editor: Springer, Pages: 558 in PDF, Epub, Mobi, ISBN: 9783540705451

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Genre: Computers, Editor: Springer, Pages: 427 in PDF, Epub, Mobi, ISBN: 9783642336546

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 3 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations presents the research on concurrency, parallelism, and distribution — important paradigms of modern computer science. The topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, Petri nets, visual design of distributed systems, and distributed algorithms. The contributions have been written in a tutorial/survey style by the top experts. Contents:Graph Relabelling Systems and Distributed Algorithms (I Litovsky et al.)Actor Grammars and Local Actions (D Janssens)Concurrent Semantics of Algebraic Graph Transformations (P Baldan et al.)Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations (U Montanari et al.)Distributed Graph Transformation with Application to Visual Design of Distributed Systems (I Fischer et al.)High-Level Replacement Systems Applied to Algebraic Specifications and Petri Nets (H Ehrig et al.)Describing Systems of Processes by Means of High-Level Replacement (H J Schneider) Readership: Students and researchers interested in modern developments in computer science and in particular in three modern paradigms of computer science — concurrency, parallelism, and distribution. Keywords:
Genre: Computers, Editor: World Scientific, Pages: 472 in PDF, Epub, Mobi, ISBN: 9789814494427

The authors give a combinatorial expansion of a Schubert homology class in the affine Grassmannian $\mathrm{Gr}_{\mathrm{SL}_k}$ into Schubert homology classes in $\mathrm{Gr}_{\mathrm{SL}_{k+1}}$. This is achieved by studying the combinatorics of a new class of partitions called $k$-shapes, which interpolates between $k$-cores and $k+1$-cores. The authors define a symmetric function for each $k$-shape, and show that they expand positively in terms of dual $k$-Schur functions. They obtain an explicit combinatorial description of the expansion of an ungraded $k$-Schur function into $k+1$-Schur functions. As a corollary, they give a formula for the Schur expansion of an ungraded $k$-Schur function.
Genre: Mathematics, Editor: American Mathematical Soc., Pages: 101 in PDF, Epub, Mobi, ISBN: 9780821872949

The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modeling to computational geometry. The material is based on columns and articles that have appeared in the EATCS Bulletin during the past two to three years. Although very recent research is discussed, the largely informal style of writing makes the book accessible to readers with little or no previous knowledge of the topics. Contents:Computational Geometry (H Edelsbrunner et al.)Algebraic Specification (H Ehrig et al.):On the Potential Role of Algebraic Specification within Computer Science (H Ehrig & P Pepper)Linking Schemas and Module Specifications: A Proposal (H Ehrig & M A Arbib)A Short Oxford Survey of Order Sorted Algebra (J Goguen & R Diaconescu)Logic in Computer Science (Y Gurevich et al.):On Kolmogorov Machines and Related IssuesTopoi and Computation (A Blass)Structural Complexity (J Hartmanis et al.):Gödel, von Neumann and the P = ? NP ProblemCounting Hierarchies: Polynomial Time and Constant Depth Circuits (E W Allender & K W Wagner)Formal Language Theory (A Salomaa et al.):Decidability in Finite AutomataParallel Communicating Grammar Systems (L Santean)and other papers Readership: Computer scientists, students and researchers. keywords:Theoretical Computer Science;Formal Methods;Algebraic Specification;Graph Transformation;Petri Net Technology;Integration;Consistency;Verification
Genre: Computers, Editor: World Scientific, Pages: 640 in PDF, Epub, Mobi, ISBN: 9789814502948

Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.
Genre: Computers, Editor: Universitätsverlag Potsdam, Pages: 48 in PDF, Epub, Mobi, ISBN: 9783869563336

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
Genre: Computers, Editor: Springer Science & Business Media, Pages: 456 in PDF, Epub, Mobi, ISBN: 9783540205371

The theory of algebras, rings, and modules is one of the fundamental domains of modern mathematics. General algebra, more specifically non-commutative algebra, is poised for major advances in the twenty-first century (together with and in interaction with combinatorics), just as topology, analysis, and probability experienced in the twentieth century. This is the second volume of Algebras, Rings and Modules: Non-commutative Algebras and Rings by M. Hazewinkel and N. Gubarenis, a continuation stressing the more important recent results on advanced topics of the structural theory of associative algebras, rings and modules.
Genre: Mathematics, Editor: CRC Press, Pages: 364 in PDF, Epub, Mobi, ISBN: 9781351869874

This volume is the record of lectures delivered at the Conference on Mathematical System Theory during the summer of 1975. The conference was held at the International Centre for Mechanical Sciences in Udine, Italy, and was supported by the Consiglio Nazionale delle Richerche of Italy and the International Centre for Mechanical Sciences. The aim of the conference was to encourage fruitful and active collaboration between researchers working in the diverse areas of system theory. It was also the hope of the organizers that mathematicians participating in the conference might become interested in the purely mathematical problems being raised by systems theory as a result of their participation. The success of the conference is to be measured by the extent to which these aims were fulfilled. Besides the formal programme of lectures recorded in this volume, many informal seminars were held. The cafes of Udine were often the scene of rich and varied discussions of recent developments in the field amongst the participants of the conference. Last but not least, listening to the ideas exposed in the lectures of others in a creative atmosphere was an important activity.
Genre: Science, Editor: Springer Science & Business Media, Pages: 411 in PDF, Epub, Mobi, ISBN: 9783642488955