Detecting Quantified Global Predicates in Parallel Programs.

Mark Minas

Browse the full EuroPar paper archive.