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

__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. Front Matter....Pages i-x Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes....Pages 1-17 Making Statics Dynamic : Towards an Axiomatization for Dynamic ADTs....Pages 19-34 Specification of Concurrent Systems: from Petri Nets to Graph Grammars....Pages 35-52 Towards a Theory of Strong Bisimulation for the Service Rendezvous....Pages 53-67 Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets....Pages 69-84 Performance Modeling with Structured Actions....Pages 85-104 Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables....Pages 105-121 Discrete Time Deterministic and Stochastic Petri Nets....Pages 123-136 Bauhaus Linda: An Overview....Pages 137-146 Naming and typing in languages for coordination in open distributed systems....Pages 147-161 An Efficient Implementation of Decoupled Communication in Distributed Environments....Pages 163-177 Extending the Rôle of Object References in Distributed Systems....Pages 179-179 On Protocols for Loss-less Statistical Multiplexing in Integrated Networks....Pages 181-195 Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994