Detecting Locally Stable Predicates without Modifying Application Messages

In this paper, we give an ecient algorithm to determine whether a locally stable predicate has become true in an underlying computation