Quality of Communication-Based Systems
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Netherlands

9789401040846, 9789401101875

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Theory of Strong Bisimulation for the Service Rendezvous

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_4 ◽

1995 ◽

pp. 53-67

Author(s):

Michael Baldamus

Download Full-text

Specification of Concurrent Systems: from Petri Nets to Graph Grammars

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_3 ◽

1995 ◽

pp. 35-52 ◽

Author(s):

A. Corradini ◽

U. Montanari

Keyword(s):

Concurrent Systems ◽

Download Full-text

On Protocols for Loss-less Statistical Multiplexing in Integrated Networks

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_13 ◽

1995 ◽

pp. 181-195

Author(s):

Mihai Mateescu

Keyword(s):

Statistical Multiplexing ◽

Integrated Networks

Download Full-text

An Efficient Implementation of Decoupled Communication in Distributed Environments

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_11 ◽

1995 ◽

pp. 163-177

Author(s):

Andreas Polze

Keyword(s):

Efficient Implementation ◽

Distributed Environments

Download Full-text

Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_7 ◽

1995 ◽

pp. 105-121 ◽

Author(s):

Reinhard German

Keyword(s):

Transient Analysis ◽

Stochastic Petri Nets ◽

Supplementary Variables

Download Full-text

Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_1 ◽

1995 ◽

pp. 1-17 ◽

Author(s):

Julia Padberg

Keyword(s):

Download Full-text

Discrete Time Deterministic and Stochastic Petri Nets

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_8 ◽

1995 ◽

pp. 123-136 ◽

Author(s):

Robert Zijal

Keyword(s):

Discrete Time ◽

Stochastic Petri Nets

Download Full-text

Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_2 ◽

1995 ◽

pp. 19-34 ◽

Author(s):

Alfonso Pierantonio

Download Full-text

Naming and typing in languages for coordination in open distributed systems

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_10 ◽

1995 ◽

pp. 147-161 ◽

Author(s):

Robert Tolksdorf

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Performance Modeling with Structured Actions

Quality of Communication-Based Systems ◽

10.1007/978-94-011-0187-5_6 ◽

1995 ◽

pp. 85-104

Author(s):

Ina Schieferdecker

Keyword(s):

Performance Modeling

Download Full-text