Quality of Communication-Based Systems

Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

• Author(s): Günter Hommel,
• Publisher: Springer Science & Business Media
• Pages: 195
• ISBN_10: 9401101876
  ISBN_13: 9789401101875
  
• Language: en
• Categories: Mathematics / Algebra / Abstract , Mathematics / General , Computers / Networking / Hardware , Science / System Theory , Computers / Computer Architecture , Computers / Languages / General , Mathematics / History & Philosophy , Mathematics / Algebra / General , Language Arts & Disciplines / Library & Information Science / General ,

Description:... 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 transformations, process calculi and temporal logics
• Performance evaluation, dependability modelling 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.