Communication-Based Systems

Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

herausgegeben von Günter Hommel

Performance Evaluation of Communication Based Systems.
GSPN Models of Dual-Band GSM Networks.
Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets.
Safe System-Level Diagnosis for Selected Fault Models.
Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective.
Foundations and Applications of Communication Based Systems.
Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction.
Compositional Specification of Distributed Systems by Distributed Graph Transformation.
Specifying, Analyzing and Programming Communication Systems in Maude.
Towards Dynamic Shaping.
A Personal, Historical Perspective of Parallel Programming for High Performance.
Distributed Environments for Communication Based Systems.
Automatic Distribution in Pangaea.
Multiphase Consensus Finding in Collaborative Problem Solving.
Efficient and Secure Information Sharing in Distributed, Collaborative Environments.
A Constraint Programming Framework for AI Planning.
Atomic Broadcast in a Byzantine Model.