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