Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.

Alper Sen, Vijay K. Garg

Browse the full OPODIS paper archive.