Ebook: Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

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.

---

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.

---

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.

Content:
Front Matter....Pages i-x
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes....Pages 1-17
Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs....Pages 19-34
Specification of Concurrent Systems: from Petri Nets to Graph Grammars....Pages 35-52
Towards a Theory of Strong Bisimulation for the Service Rendezvous....Pages 53-67
Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets....Pages 69-84
Performance Modeling with Structured Actions....Pages 85-104
Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables....Pages 105-121
Discrete Time Deterministic and Stochastic Petri Nets....Pages 123-136
Bauhaus Linda: An Overview....Pages 137-146
Naming and typing in languages for coordination in open distributed systems....Pages 147-161
An Efficient Implementation of Decoupled Communication in Distributed Environments....Pages 163-177
Extending the R?le of Object References in Distributed Systems....Pages 179-179
On Protocols for Loss-less Statistical Multiplexing in Integrated Networks....Pages 181-195

---

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.

Content:
Front Matter....Pages i-x
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes....Pages 1-17
Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs....Pages 19-34
Specification of Concurrent Systems: from Petri Nets to Graph Grammars....Pages 35-52
Towards a Theory of Strong Bisimulation for the Service Rendezvous....Pages 53-67
Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets....Pages 69-84
Performance Modeling with Structured Actions....Pages 85-104
Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables....Pages 105-121
Discrete Time Deterministic and Stochastic Petri Nets....Pages 123-136
Bauhaus Linda: An Overview....Pages 137-146
Naming and typing in languages for coordination in open distributed systems....Pages 147-161
An Efficient Implementation of Decoupled Communication in Distributed Environments....Pages 163-177
Extending the R?le of Object References in Distributed Systems....Pages 179-179
On Protocols for Loss-less Statistical Multiplexing in Integrated Networks....Pages 181-195
....