Ashis Tarafdar;Vijay Kumar Garg
-;-
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing