TY - RPRT TI - A Formal Model of Anonymous Systems AU - Yang D. Li PY - 2011 UR - https://arxiv.org/abs/1105.0296 ID - 1105.0296 ER -