Causality between nonatomic poset events in distributed computations

被引：1

作者：

Kshemkalyani, AD

机构：

来源：

PROCEEDINGS OF THE SIXTH IEEE COMPUTER SOCIETY WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS | 1997年

关键词：

atomicity; causality; distributed system; synchronization; time;

D O I：

10.1109/FTDCS.1997.644738

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：276 / 282

页数：7