Overview
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.
The book, Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 [Bulk, Wholesale, Quantity] ISBN#9789401040846 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.
Details