A quotient graph for asymmetric distributed systems