10027/12388 Punit. Chandra Punit. Chandra Run-time predicate monitoring for distributed systems. University of Illinois at Chicago 2014 Computer Science. 2014-03-17 00:00:00 Thesis https://indigo.uic.edu/articles/thesis/Run-time_predicate_monitoring_for_distributed_systems_/10848980 Run-time predicate monitoring for distributed systems.