Publisher's Synopsis
This workshop on communication-based systems is intended to present the research results of students of the Graduiertenkolleg 'Communication-Based Systems' to an international community. The book explores graph transformations, formal specification, real-time systems, and much more.