Atomic Appends in Asynchronous Byzantine Distributed Ledgers
Résumé
The following topics are dealt with: security of data; formal specification; safety-critical software; risk analysis; fault tolerant computing; genetic algorithms; finite state machines; automata theory; distributed processing; program diagnostics.