効率的な自己安定シミュレーション：非同期光るモバイルロボットによるエネルギー制限

RsynchをAsynchで効率的にシミュレートするプロトコルの提案と実装方法。