Distributed systems have undergone a very fast evolution in the last years. Large-scale
distributed systems have become an integral part of everyday life with the development of …

Several works in distributed systems have been designed based on the Happened-Before
Relation (HBR). Most of these works intend to be efficient in their implementation by …

Several algorithms of different domains in distributed systems are designed over the
principle of the Happened-Before Relation (HBR). One common as-pect among them is that …

In this paper we present a scalable causality-tracking protocol, called k-Dependency
Vectors, which piggybacks on each application message a constant number k of integers …

A causal ordering protocol ensures that if two messages are causally related and have the
same destination, they are delivered to the application in their sending order. Causal order …

/spl Delta/-causal ordering is a communication abstraction designed for distributed
applications whose messages (i) have to be delivered according to causal ordering and (ii) …

Distributed applications are realized by cooperation of a group of multiple objects. In the
group cooperation, a message is multicast and multiple kinds of messages are in parallel …

In any distributed system, messages must be ordered according to their cause-and-effect
relation to ensure correct behavior of the system. Causal ordering is also essential for …

UML2. X sequence diagrams (SD) permit the modelling of behaviours of systems. With the
combined fragments (CF) that can be nested and aggregated in a single SD more complex …

Causal Order (CO) is an important but basic property of message-passing based distributed
systems. Violations of causal order delivery normally lead to significant inconsistencies …