Carlo Bellettini Lorenzo Capra Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. 2005 conf/ipps/2005 IPDPS http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.371 db/conf/ipps/ipdps2005.html#BellettiniC05