FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Determinism of ledger updates

Authors: Polina Vinogradova, Orestis Melkonian, Andre Knispel and James Chapman

Paper Information

Title:Determinism of ledger updates
Authors:Polina Vinogradova, Orestis Melkonian, Andre Knispel and James Chapman
Proceedings:FMBC Program Papers
Editors: Zaynah Dargaye and Clara Schneidewind
Keywords:determinism, ledger model, theory of changes
Pages:3
Talk:Aug 11 14:45 (Session 127D: Formal Methods for Blockchain Protocols)
Paper: