Quality-of-service enabled publish/subscribe (pub/sub) middleware provides powerful
support for scalable data dissemination. It is difficult to maintain key quality of service …

Reconfiguring a topology is an important technique to sustain high efficiency and robustness
of an overlay. However, the problem of transforming the overlay from an old topology to a …

This paper proposes a new approach to representing scalable hierarchical distributed multi-
party protocols, and reasoning about their behavior. The established endpoint-to-endpoint …