
Give the Gift of Choice!
Too many options? Treat your friends and family to their favourite stores with a Bayshore Shopping Centre gift card, redeemable at participating retailers throughout the centre. Click below to purchase yours today!Purchase HereHome
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Coles
Loading Inventory...
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 in Ottawa, ON
By None
Current price: $131.50


By None
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 in Ottawa, ON
Current price: $131.50
Loading Inventory...
Size: Paperback
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
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 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.
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 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.

















