1. Time optimal self-stabilizing spanning tree algorithms;Aggarwal,1993
2. Self-stabilizing leader election in polynomial steps;Altisen;Information and Computation,2017
3. FCPP: an efficient and extensible field calculus framework;Audrito,2020
4. A higher-order calculus of computational fields;Audrito;ACM Transactions on Computational Logic,2019
5. Time optimal self-stabilizing synchronization;Awerbuch,1993