TY - RPRT TI - Topological Self-Stabilization with Name-Passing Process Calculi AU - Christina Rickmann PY - 2016 UR - https://arxiv.org/abs/1604.04197 ID - 1604.04197 ER -