research
∙
09/25/2021
Basil: Breaking up BFT with ACID (transactions)
This paper presents Basil, the first transactional, leaderless Byzantine...
share
research
∙
09/18/2021
Regular Sequential Serializability and Regular Sequential Consistency
Strictly serializable (linearizable) services appear to execute transact...
research
∙
09/27/2018
