Detecting temporal logic predicates in distributed programs using computation slicing. (2003)

by A Sen, V K Garg
Venue:In Proceedings of the Seventh International Conference on Principles of Distributed Systems (OPODIS),