Login / Signup
PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain.
Stefano De Angelis
Leonardo Aniello
Roberto Baldoni
Federico Lombardi
Andrea Margheri
Vladimiro Sassone
Published in:
ITASEC (2018)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
case study
theorem prover
neural network
information retrieval
multi agent
video sequences
von neumann