Table of Contents

Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes, J. Padberg. Making Statics Dynamic - Towards an Axiomatization for Dynamic ADTs, A. Pierantonio. Specification of Concurrent Systems - from Petri Nets to Graph Grammars, A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous, M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets, V. Mainkar and K.S. Trivedi. Performance Modelling with Structured Actions, I. Schieferdecker. Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables, R. German. Discrete Time Deterministic and Stochastic Petri Nets, R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview, N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Co-ordination in Open Distributed Systems, R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments, A. Polze. Extending the Role of Object References in Distributed Systems, P. Dickman. On Protocols for Loss-Less Statistical Multiplexing in Integrated Networks, M. Mateescu.