Title: Detection of global state predicates
Subjects: Electronic data processing, Distributed processing, Predicate (Logic)