Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin. ASCENT: a Provably-Terminating Decentralized Logging Service.
The Computer Journal, Oxford University Press (UK), 2017, to be published, 60 (12), pp.1889-1911.
⟨10.1093/comjnl/bxx076⟩.
⟨hal-01547514⟩