Consistent detection of global predicates under a weak fault assumption | IEEE Conference Publication | IEEE Xplore