A Formal Approach to Circle Formation in Multi-Agent Systems