{HEAD ~ The method} 9, wherein {TAIL ~ the synchronization primitives} include at least one of pairwise rendezvous, asynchronous rendezvous, disjunctive guards, broadcasts, nested locks and non nested locks 
wherein
{ HEAD ~ The method } 9 , wherein { TAIL ~ the synchronization primitives } include at least one of pairwise rendezvous , asynchronous rendezvous , disjunctive guards , broadcasts , nested locks and non nested locks
HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH