Quality of Communication-Based Systemspresents the research results of students of theGraduiertenkolleg`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 transformations, process calculi and temporal logicsPerformance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-netsSpecification and analysis of communication protocolsReliability, security and dependability in distributed systemsObject orientation in distributed systems architectureSoftware development and concepts for distributed applicationsComputer network architecture and managementLanguage concepts for distributed systems. | Quality of Communication-Based Systems by Günter Hommel, Paperback | Indigo Chapters