Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

ISBN 10: 9401040842 / ISBN 13: 9789401040846

Published by Springer 0, 2012

About this Item

Like New.

Seller Inventory # ERICA77394010408426

Bibliographic Details

• Title: Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
• Publisher: Springer 0
• Publication Date: 2012
• Language: English
• ISBN 10: 9401040842
• ISBN 13: 9789401040846
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

Synopsis

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.