In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematis...
This book contains a collection of 37 refereed full papers selected from the contributions presen...
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six...
Since the early seventies concepts of specification have become central in the whole area of comp...
Graphs are among the simplest and most universal models for a variety of s- tems, not just in com...
ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in...
The aim of this book is to present fundamentals of algebraicspecifications with respect to the fo...
This volume is a documentation of the main results in the research area In- gration of Software S...
Theareaofgraphtransformationoriginatedinthelate1960sunderthename 'graph grammars' - the main moti...
This volume contains selected papers of the International Workshop on 'Categorical Methods in Com...
This book constitutes the refereed proceedings of the 4th International Conference on Graph Trans...
On the complexity of branching programs and decision trees for clique functions.- Average complex...
Graphs are widely used to represent structural information in the form of objects and connections...
Specification and top down design of distributed systems.- Specification languages for distribute...
This book is a comprehensive explanation of graph and model transformation. It contains a detaile...
This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin ...
This book is a comprehensive explanation of graph and model transformation. It contains a detaile...
The algebraic specification of abstract data types is now awell establishedresearch topic in comp...
Research in the area of abstract data types started about 20 years ago. Since then there has been...
Since the early seventies concepts of specification have become central in the whole area of comp...
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Einleitung -- 1. Kategorien -- 2. Automaten -- 3....
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...
The generic term 'graph-grammars' refers to a variety of methods for specifying (possibly infinit...
This volume contains papers selected from the contributionsto the 4thInternational Workshop on Gr...
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many differe...
Graphs are widely used to represent structural information in the form of objects and connections...
On the relevance of formal methods to software development.- Combining algebraic and predicative ...
Models and equality for logical programming.- Fifth generation computer project: Current research...
This book presents state of the art research in theoretical computer science and related ?elds. I...
The research area of graph grammars and graph transformations dates back only two decades. But al...
This book constitutes the proceedings of the 6th International Conference on Graph Transformation...
The complex processes of state changes can be interpreted by resorting to Statistical Quantum Mec...
The intention of this book is to show how algebraic specification methods can be used for softwar...
The book is a very up-to-date collection of articles in theoretical computer science, written by ...
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition ...