Login / Signup

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.

A. W. RoscoePedro AntoninoJonathan Lawrence
Published in: Theories of Programming and Formal Methods (2023)
Keyphrases