Quality of Communication-Based Systems

Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Herausgegeben:Hommel, Günter

• Broschiertes Buch

Produktbeschreibung

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas:

• Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
• Performance evaluation, dependability modelling 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.

Produktdetails

• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-94-010-4084-6
• Softcover reprint of the original 1st ed. 1995
• Seitenzahl: 208
• Erscheinungstermin: 14. Oktober 2012
• Englisch
• Abmessung: 240mm x 160mm x 12mm
• Gewicht: 341g
• ISBN-13: 9789401040846
• ISBN-10: 9401040842
• Artikelnr.: 37478405

Inhaltsangabe

Contributions to Quality from Specification Techniques.- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes.- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs.- Specification of Concurrent Systems: from Petri Nets to Graph Grammars.- Towards a Theory of Strong Bisimulation for the Service Rendezvous.- Contributions to Quality from Quantitative Modelling.- Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets.- Performance Modeling with Structured Actions.- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables.- Discrete Time Deterministic and Stochastic Petri Nets.- Contributions to Quality from Distributed Systems Organization.- Bauhaus Linda: An Overview.- Naming and Typing in Languages for Coordination in Open Distributed System.- An Efficient Implementation of Decoupled Communication in Distributed Environments.- Extending the Rôle of Object References in Distributed Systems.- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks.