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 spe...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
1995, 1995
|
Edition: | 1st ed. 1995 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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 Stochastic Petri Nets
- Performance Modeling with Structured Actions
- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables
- Discrete Time Deterministic and Stochastic 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 Protocols for Loss-less Statistical Multiplexing in Integrated Networks