Efficient evaluation of causality relations between nonatomic events
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Causality and atomicity in distributed computations
Distributed Computing
| Hi-index | 0.00 |
Recently, a set of causality relations between distributed nonatomic events was proposed to provide a fine level of granularity in the specification of synchronization conditions between the events. This set of causality relations is complete in first-order predicate logic. In this paper, we examine a set of axioms on the proposed causality relations. The axioms provide a mechanism for reasoning with the set of relations and can be used to derive all possible implied relations from any valid predicate on the relations.