mutual exclusion optimal algorithm in networks 6551877