Home
Quality of Communication-Based Systems: Proceedings an International Workshop held at the TU Berlin, Germany, September 1994
Loading Inventory...
Barnes and Noble
Quality of Communication-Based Systems: Proceedings an International Workshop held at the TU Berlin, Germany, September 1994
Current price: $189.00


Barnes and Noble
Quality of Communication-Based Systems: Proceedings an International Workshop held at the TU Berlin, Germany, September 1994
Current price: $189.00
Loading Inventory...
Size: Hardcover
*Product Information may vary - to confirm product availability, pricing, and additional information please contact Barnes and Noble
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 prools
• 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.
• 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 prools
• 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.