Title :
Causality between nonatomic poset events in distributed computations
Author :
Kshemkalyani, Ajay D.
Author_Institution :
Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
Abstract :
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. The author examines 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
Keywords :
distributed processing; formal logic; synchronisation; axioms; causality relations; distributed computations; distributed nonatomic events; fine granularity level; first-order predicate logic; nonatomic poset events; reasoning; synchronization condition specification; Debugging; Distributed computing; Electrical equipment industry; Industrial control; Industrial relations; Logic; Navigation; Power system modeling; Process control; Service robots;
Conference_Titel :
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Tunis
Print_ISBN :
0-8186-8153-5
DOI :
10.1109/FTDCS.1997.644738
