Abstract |
---|
Complex events in distributed applications are realistically modeled by nonatomic events. Causality relations between distributed nonatomic events have been proposed to provide a fine level of discrimination in the specification of causality and synchronization conditions between distributed nonatomic events. The set of relations between nonatomic events is complete in first-order predicate logic, using only the causality relation between atomic events. This paper shows how these fine-grained relations can be used for synchronization and coordination in distributed computations. |
Contact |
Ajay D. Kshemkalyani Dept. of Electrical \& Computer Engg. and Computer Science,University of Cincinnati,P. O. Box 210030,Cincinnati, OH 45221-0030,USA, ajayk@ececs.uc.edu |