The aim of this book is to present fundamentals of algebraicspecifications with respect to the fo...

This volume contains selected papers from the 4th International Workshop on Graph Grammars and Th...

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...

Models and equality for logical programming.- Fifth generation computer project: Current research...

This book constitutes the proceedings of the 6th International Conference on Graph Transformation...

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematis...

Graphs are among the simplest and most universal models for a variety of s- tems, not just in com...

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many differe...

This book presents state of the art research in theoretical computer science and related ?elds. I...

This book contains a collection of 37 refereed full papers selected from the contributions presen...

Integration of Software Specification Techniques for Applications in Engineering: Introduction an...