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

by Gïnter Hommel (Editor)

Overview

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.

Product Details

ISBN-13:	9789048153992
Publisher:	Springer Netherlands
Publication date:	12/07/2010
Edition description:	Softcover reprint of hardcover 1st ed. 2000
Pages:	196
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Performance Evaluation of Communication Based Systems.- GSPN Models of Dual-Band GSM Networks.- Time in Message Sequence Chart Specifications and How to Derive Shastic 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.