About the Book
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. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas:
- Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics;
- Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets;
- Specification and analysis of communication protocols;
- Reliability, security, and dependability in distributed systems;
- Object orientation in distributed systems architecture;
- Software development and concepts for distributed applications;
- Computer network architecture and management;
- Language concepts for distributed systems.