A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks. - Shilpa Bansod; Jean Mayo (Stud. Inform. Univ., 2004)