Quality of Communication-Based Systems

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems'' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas:

• Formal specification and mathematical foundations of distributed systems using process algebra, graph transf...