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

This volume contains papers selected from the contributionsto the 4thInternational Workshop...

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 widely used to represent structural information in the form of objects and connections...

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

Since the early seventies concepts of specification have become central in the whole area of comp...

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