Roberto Segala The power of simulation relations. 462 2008 PODC http://doi.acm.org/10.1145/1400751.1400860 conf/podc/2008 db/conf/podc/podc2008.html#Segala08