TY - RPRT TI - Decidability Classes for Mobile Agents Computing AU - Pierre Fraigniaud AU - Andrzej Pelc PY - 2010 UR - https://arxiv.org/abs/1011.2719 ID - 1011.2719 ER -