Specifying Distributed Hash Tables with Allen Temporal Logic. - Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão 001; Pedro Ákos Costa (FormaliSE, 2025)