Login / Signup

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.

Adam ShimiAurélie HuraultPhilippe Quéinnec
Published in: Log. Methods Comput. Sci. (2021)
Keyphrases