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: |