Probabilistic consensus of the blockchain protocol

DOI10.1007/978-3-030-29765-7_39OpenAlexW2972190194MaRDI QIDQ2297801

Paola Glavan, Zoran Ognjanović, Bojan Marinković, Thomas Studer, Dragan Doder

Publication date: 20 February 2020

Full work available at URL: https://boris.unibe.ch/133991/

zbMATH Keywords

multi-agent systemsformal modelblockchainspecification/verificationtemporal epistemic logic with probabilities

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Reasoning about knowledge and conditional probability

This page was built for publication: Probabilistic consensus of the blockchain protocol