Search Results

Events generated by the execution of a distributed system are related by causality and concurrency. While providing a means of reasoning about the relative occurrence of events, this partial order fails to represent the timeliness of occurrence. In this ...

Causal order delivery of messages is required for many distributed applications. One of the problems with causal order delivery algorithms is the need to attach the dependency information with each message to ensure the causal ordering of delivery. This ...

An important problem in analyzing distributed computations is the amount of information. In event-based models, even for simple applications, the number of events is large and the causal structure is complex. Event abstraction can be used to reduce the ...

The paper shows that characterizing the causal relationship between significant events is an important but non-trivial aspect for understanding the behavior of distributed programs. An introduction to the notion of causality and its relation to logical ...

The authors propose a correction to the two-phase deadlock detection algorithm, which has been shown to be incorrect. They prove the correctness of the modified algorithm using a stable property detection technique that observes the system at an ...