constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
(…)
Wikipedia:
K. Birman, Reliable distributed systems: technologies, web services and applications, Springer 2005
M. van Steen, A. Tanenbaum, Distributed systems, 3rd ed., 2017.
M. J. Fischer, N. Lynch, M. S. Paterson, Impossibility of distributed consensus with one faulty process JACM 32:2, 374-382 (1985) pdf
A small treatise on distributed computing concepts used in building blockchain architectures
Last revised on February 17, 2023 at 08:49:22. See the history of this page for a list of all contributions to it.