Philippas Tsigas

Distributed Ledger Register: From Safe to Atomic

2019 · HAL (Le Centre pour la Communication Scientifique Directe)

This paper continues the recent line of academic effort dedicated to formalizing distributed ledgers. This work is the first one to propose a specification of distributed ledger register that matches the Lamport hierarchy from safe …