Keynote Papers.- Algorithms, Games, and the Internet.- Automata, Circuits, and Hybrids: Facets of...

This book is an annotated bibliography providing an up-to-date overview of past and present work ...

This volume contains the proceedings of a workshop on specification of abstract data types. The m...

Graph Transformation.- On the Concurrent Semantics of Algebraic Graph Grammars.- From Graph Trans...

Research in the area of abstract data types started about 20 years ago. Since then there has been...

Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Archi...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

This book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...