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