R. Fagin, J. Y. Halpern, Y. Moses & M. Y. Vardi (1995):
Reasoning About Knowledge.
MIT Press,
Cambridge, MA.
A slightly revised paperback version was published in 2003..
J. Garay, A. Kiayias & N. Leonardos (2015):
The bitcoin backbone protocol: Analysis and applications.
In: Advances in Cryptology-EUROCRYPT 2015.
Springer,
pp. 281–310,
doi:10.1007/978-3-662-46803-6_10.
A. J. Grove (1995):
Naming and identity in epistemic logic II: a first-order logic for naming.
Artificial Intelligence 74(2),
pp. 311–350,
doi:10.1016/0004-3702(95)98593-D.
A. J. Grove & J. Y. Halpern (1993):
Naming and identity in epistemic logics, Part I: the propositional case.
Journal of Logic and Computation 3(4),
pp. 345–378,
doi:10.1093/logcom/3.4.345.
J. Y. Halpern & Y. Moses (1990):
Knowledge and common knowledge in a distributed environment.
Journal of the ACM 37(3),
pp. 549–587,
doi:10.1145/79147.79161.
J. Y. Halpern, Y. Moses & O. Waarts (2001):
A characterization of eventual Byzantine agreement.
SIAM Journal on Computing 31(3),
pp. 838–865,
doi:10.1137/S0097539798340217.
J. Y. Halpern & M. R. Tuttle (1993):
Knowledge, probability, and adversaries.
Journal of the ACM 40(4),
pp. 917–962,
doi:10.1145/153724.153770.
Y. Moses & Y. Shoham (1993):
Belief as defeasible knowledge.
Artificial Intelligence 64(2),
pp. 299–322,
doi:10.1016/0004-3702(93)90107-M.
Y. Moses & M. R. Tuttle (1988):
Programming simultaneous actions using common knowledge.
Algorithmica 3,
pp. 121–169,
doi:10.1007/BF01762112.
S. Nakamoto (2008):
Bitcoin: A peer-to-peer electronic cash system.
Http://www.bitcoin.org/bitcoin.pdf.
R. Pass, L. Seeman & A. Shelat (2017):
Analysis of the blockchain protocol in asynchronous networks.
In: Eurocrypt,
pp. 643–673,
doi:10.1007/978-3-319-56614-6_22.
R. Pass & E. Shi (2016):
FruitChains: a fair blockchain.
Cryptology ePrint Archive, Report 2016/916.
http://eprint.iacr.org/2016/916.
R. Pass & E. Shi (2016):
Hybrid consensus.
http://eprint.iacr.org/2016/917.