For such applications, the goal is to establish correctness of programs of the form U1 n 1 ∥ . . . ∥Um n m irrespective of {HEAD ~ the program size} as measured by {TAIL ~ the number ni} of threads executing the code for driver Ui 
as measured by
For such applications , the goal is to establish correctness of programs of the form U1 n 1 ∥ . . . ∥Um n m irrespective of { HEAD ~ the program size } as measured by { TAIL ~ the number ni } of threads executing the code for driver Ui
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL REL REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH