DocumentCode
3231865
Title
Causality between nonatomic poset events in distributed computations
Author
Kshemkalyani, Ajay D.
Author_Institution
Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
fYear
1997
fDate
29-31 Oct 1997
Firstpage
276
Lastpage
282
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
Conference_Location
Tunis
ISSN
1071-0485
Print_ISBN
0-8186-8153-5
Type
conf
DOI
10.1109/FTDCS.1997.644738
Filename
644738
Link To Document