{HEAD ~ The arbiter} for {TAIL ~ a shared synchronous memory} 1, wherein: 
for
{ HEAD ~ The arbiter } for { TAIL ~ a shared synchronous memory } 1 , wherein :
HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH