This volume presents the proceedings of the 11th International Conference on Applications and The...

This proceedings volume surveys the state of the art in concurrent program specification, verific...

Invited Presentations.- Automata: From Uncertainty to Quantum.- Elementary Theory of Ordinals wit...

The idea behind the series of volumes Advances in Petri Nets is to present to the general compute...

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

The key idea underlying this book is the notion that molecules and cells, which constitute the ba...

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanc...

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid ...

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed ...

Natural Computing is the field of research that investigates both human-designed computing inspir...