The fast evolution pace for cloud computing software is on a collision course with our
growing reliance on cloud computing. On one hand, cloud software must have the agility to …

Modern component-based distributed software systems are increasingly required to offer
non-stop service and thus their updates must be carried out at runtime. Different authors …

Replication plays an essential role for in-memory distributed transactional platforms, given
that it represents the primary means to ensure data durability. Unfortunately, no single …

Total order broadcast protocols are a fundamental building block in the construction of many
fault-tolerant distributed applications. Unfortunately, total order is an intrinsically expensive …

Dynamic update capabilities allow a system to change some of its components without
stopping execution, so as to cater for versioning and self-optimisation. In this paper, we …

While updating a software system, it is paramount to safeguard the consistency of execution
and let as many operations as possible execute undisturbed in order to minimise disruption …

Adaptation is a desirable requirement in a distributed system since it helps the system to
perform gracefully under different scenarios. There are many adaptive algorithms for …

Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in
Communicating Systems Page 1 Language Design for Atomicity, Declarative …

Group communication protocols (GCPs) play an important role in the design of modern
distributed systems. A typical GCP exchanges control messages to provide message …

The problem of managing and orchestrating communication protocols is studied using the
discrete event system approach. The indicative cases of the BGP, the CAN protocol and the …