Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 by Günter HommelCommunication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 by Günter Hommel

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin…

EditorGünter Hommel

Paperback | December 6, 2010

Pricing and Purchase Info

$198.75 online 
$206.95 list price
Earn 994 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin…Format:PaperbackDimensions:205 pages, 9.25 × 6.1 × 0 inPublished:December 6, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048153999

ISBN - 13:9789048153992

Look for similar items by category:

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

Reviews

Table of Contents

Performance Evaluation of Communication Based Systems. GSPN Models of Dual-Band GSM Networks; M.A. Marsan, et al. Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets; O. Kluge. Safe System-Level Diagnosis for Selected Fault Models; M. Werner. Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective; H. Karl. 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; K. Hoffmann. Compositional Specification of Distributed Systems by Distributed Graph Transformation; M. Koch. Specifying, Analyzing and Programming Communication Systems in Maude; J. Meseguer. Towards Dynamic Shaping; C.B. Jay, G. Keller. A Personal, Historical Perspective of Parallel Programming for High Performance; C. Lengauer. Distributed Environments for Communication Based Systems. Automatic Distribution in Pangaea; A. Spiegel. Multiphase Consensus Finding in Collaborative Problem Solving; M. Hannenbauer. Efficient and Secure Information Sharing in Distributed, Collaborative Environments; P. Dasgupta, et al. A Constraint Programming Framework for AI Planning; A. Nareyek. Atomic Broadcast in a Byzantine Model; A. Doudou, et al.