{HEAD ~ A mutex ordering mechanism} controls {TAIL ~ the ordering} of mutex ownership to provide deterministic execution of the processes 
{ HEAD ~ A mutex ordering mechanism } controls { TAIL ~ the ordering } of mutex ownership to provide deterministic execution of the processes
HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH