Verification of distributed systems with local-global predicates. - K. Mani Chandy; Brian Go; Sayan Mitra; Concetta Pilotto; Jerome White (Formal Aspects Comput., 2011)