Product Form and Local Balance in Queueing Networks · Study