Vector clocks are the appropriate mechanism to track causality among the events produced
by a distributed computation. Traditional implementations of vector clocks require …

In the context of computer assisted verification of schedulability analyses, very expressive
task models are useful to factorize the correctness proofs of as many analyses as possible …

This paper describes some of the features of Rapide, a language for modelling architectures
of distributed systems. Rapide is an event-based architecture definition language. It has a …

A distributed computation is usually modeled as a partially ordered set of relevant events
(the relevant events are a subset of the primitive events produced by the computation). An …

Consider an asynchronous system consisting of processes that communicate via message-
passing. The processes communicate over a potentially {\em incomplete} communication …

Understanding distributed computations and mastering their complexity strongly depends on
our ability to observe and to analyze their causal structure. In this paper, we briefly introduce …

Maintenance of causality information in distributed systems has previously been
implemented in the communications infrastructure with the focus on providing reliability and …

In unreliable asynchronous distributed systems with failures, achieving a causal view of the
system across all processes is a challenging task. The Causal Reliable Broadcast (CRB) …

Event ordering is an important research subject in Distributed Systems (DS). Event ordering
addresses the problem of establishing a certain order among the events that occur in DS …

A large number of tasks in distributed systems can be traced down to the fundamental
problem of attaining a consistent global view on a distributed computation. This problem is …