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

by Gïnter Hommel (Editor)

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 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.

Product Details

ISBN-13:	9789401040846
Publisher:	Springer Netherlands
Publication date:	10/14/2012
Edition description:	Softcover reprint of the original 1st ed. 1995
Pages:	195
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Contributions to Quality from Specification Techniques.- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes.- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs.- Specification of Concurrent Systems: from Petri Nets to Graph Grammars.- Towards a Theory of Strong Bisimulation for the Service Rendezvous.- Contributions to Quality from Quantitative Modelling.- Transient Analysis of Real-Time Systems Using Deterministic and Shastic Petri Nets.- Performance Modeling with Structured Actions.- Transient Analysis of Deterministic and Shastic Petri Nets by the Method of Supplementary Variables.- Discrete Time Deterministic and Shastic Petri Nets.- Contributions to Quality from Distributed Systems Organization.- Bauhaus Linda: An Overview.- Naming and Typing in Languages for Coordination in Open Distributed System.- An Efficient Implementation of Decoupled Communication in Distributed Environments.- Extending the Rôle of Object References in Distributed Systems.- On Prools for Loss-less Statistical Multiplexing in Integrated Networks.