Ebook: 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.

---

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.

Content:
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 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.

Content:
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
....