Abstract :
This book is a collection of papers summarizing 10 years of a Dutch project on the foundations of concurrency. The project??s goal was ??to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. This collection contains IS papers on different approaches, models, and methods, written by leading scientists who work intensively in concurrency. The diversity of formalisms and presentation styles makes it difficult to prepare a short, unified overview.
