Communication-Based Systems : Proceeding of the 3rd International Workshop Held at the TU Berlin, Germany, 31 March – 1 April 2000

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; Performance evaluation, dependability modeling, 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 GSPN Models of Dual-Band GSM Networks....Pages 1-15 Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets....Pages 17-31 Safe System-Level Diagnosis for Selected Fault Models....Pages 33-42 Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective....Pages 43-54 Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction....Pages 55-72 Compositional Specification of Distributed Systems by Distributed Graph Transformation....Pages 73-91 Specifying, Analyzing and Programming Communication Systems in Maude....Pages 93-101 Towards Dynamic Shaping....Pages 103-110 A Personal, Historical Perspective of Parallel Programming for High Performance....Pages 111-118 Automatic Distribution in Pangaea....Pages 119-129 Multiphase Consensus Communication in Collaborative Problem Solving....Pages 131-146 Efficient and Secure Information Sharing in Distributed, Collaborative Environments....Pages 147-162 AI Planning in a Constraint Programming Framework....Pages 163-178 Atomic Broadcast In A Byzantine Model....Pages 179-195

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg 'Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; Performance evaluation, dependability modeling, 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.

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