Predicate Control in Distributed