Deriving distributed algorithms from a general predicate detector | IEEE Conference Publication | IEEE Xplore